新規登録 | ログイン | FAQ      [?] 

タグ: _hardcopy [111 articles]

Recent papers classified by the tag _hardcopy.
  • Why ever CSP?
    Electronic Notes in Theoretical Computer Science, Vol. 162 (29 September 2006), pp. 209-215.
    by Tony Hoare
    posted to unifying_theories retractions refinement csp ccs bisimulation _hardcopy 2006 by leonardo on 2006-11-01 01:31:13 as **** along with 2 people ajk cbertolini
  • Refinement via Consistency Checking in MDA
    Electronic Notes in Theoretical Computer Science, Vol. 137, No. 2. (21 July 2005), pp. 151-161.
    by Richard F Paige, Dimitrios S Kolovos, Fiona A Polack
    posted to 2005 _hardcopy mda refinement by leonardo on 2006-03-23 17:30:52 as ** along with 2 people and 1 group scis0000001 francoisl modeling
  • Attributed graph transformation with node type inheritance
    Theoretical Computer Science, Vol. 376, No. 3. (15 May 2007), pp. 139-163.
    by Juan de Lara, Roswitha Bardohl, Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
    posted to 2007 graph_transformation _hardcopy meta-modelling statecharts by leonardo on 2007-06-07 12:56:33 as ***
  • Avoiding unpredicted behaviour of large scale embedded systems by design and application of modelling rules
    Model, Design and Validation, 2004. Proceedings. 2004 First International Workshop on (2004), pp. 59-66.
    by B Florentz, M Mutz, M Huhn
    posted to 2004 _hardcopy semantics statecharts uml by leonardo on 2006-01-19 16:19:33 as **
  • On semantics and refinement of UML statecharts: a coalgebraic view
    Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on (2004), pp. 164-173.
    by Sun Meng, Zhang Naixiao, Luís S Barbosa
    posted to 2004 _hardcopy refinement statecharts uml by leonardo on 2006-01-19 16:18:16 as **
  • Templatable Metamodels for Semantic Variation Points
    Model Driven Architecture- Foundations and Applications (2007), pp. 68-82.
    by Arnaud Cuccuru, Chokri Mraidha, François Terrier, Sébastien Gérard
    posted to 2007 _hardcopy _marcia metamodel semantics semantic_variation statecharts uml by leonardo on 2007-10-12 00:26:45 as ***** along with 1 person and 1 group francoisl modeling
  • A structured operational semantics for UML-statecharts
    Software and Systems Modeling, Vol. V1, No. 2. (1 December 2002), pp. 130-141.
    by Michael von der Beeck
    posted to 2001 _hardcopy semantics statecharts uml by leonardo on 2006-10-06 19:17:58 as **
  • Static composition of refactorings
    Science of Computer Programming, Vol. 52, No. 1-3. (August 2004), pp. 9-51.
    by Günter Kniesel, Helge Koch
    posted to 2004 _hardcopy composition derivation_of_precondition program_transformation refactoring by leonardo on 2007-05-22 14:58:47 as **** along with 1 person mbravenboer
  • Agile Formal Method Engineering
    Integrated Formal Methods (2005), pp. 109-128.
    by Richard F Paige, Phillip J Brooke
    posted to 2005 agile formal_methods _hardcopy _to_download_springer by leonardo on 2008-03-10 00:20:16 as **
  • Statechart Modeling with Fujaba
    Electronic Notes in Theoretical Computer Science, Vol. 127, No. 1. (30 March 2005), pp. 37-49.
    by Leif Geiger, Albert Zündorf
    posted to 2005 _hardcopy graph_transformation mda meta-modelling statecharts by leonardo on 2006-09-27 19:44:09 as ****
  • UML 2.0 State Machines: Complete Formal Semantics Via core state machine
    Formal Methods: Applications and Technology (2007), pp. 244-260.
    by Harald Fecher, Jens Schönborn
    posted to 2007 _hardcopy semantics statecharts uml uml20 by leonardo on 2007-06-28 14:26:40 as ****
  • A refinement calculus for statecharts
    Lecture Notes in Computer Science : Fundamental Approaches to Software Engineering (1998), pp. 285-301.
    by Peter Scholz
    posted to 1998 _hardcopy refinement semantics statecharts by leonardo on 2006-10-06 23:02:23 as **
  • Laws of programming
    Commun. ACM, Vol. 30, No. 8. (August 1987), pp. 672-686.
    by CAR Hoare, Ian Hayes, He Jifeng, CC Morgan, AW Roscoe, JW Sanders, IH Sorensen, JM Spivey, BA Sufrin
    posted to 1987 _hardcopy classic laws by leonardo on 2007-06-29 19:15:53 as ***** along with 2 people rwtodd danieldougherty
  • Compositional modeling and refinement for hierarchical hybrid systems
    Journal of Logic and Algebraic Programming, Vol. 68, No. 1-2. (July 2006), pp. 105-128.
    by Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
    posted to 2006 _hardcopy refinement statecharts by leonardo on 2006-09-29 20:56:36 as ***
  • A theory of regression testing for behaviourally compatible object types
    Software Testing, Verification and Reliability, Vol. 16, No. 3. (2006), pp. 133-156.
    by Anthony JH Simons
    posted to 2006 _hardcopy inheritance refinement statecharts tests by leonardo on 2007-04-10 15:53:44 as ****
  • Incremental design of statechart specifications
    Science of Computer Programming, Vol. 40, No. 1. (May 2001), pp. 119-145.
    by Peter Scholz
    posted to 2001 _hardcopy mu-charts refinement semantics statecharts by leonardo on 2006-01-17 16:46:15 as *****
  • Flattening statecharts without explosions
    Vol. 39, No. 7. (July 2004), pp. 257-266.
    by Andrzej Wąsowski
    posted to 2004 _hardcopy statecharts by leonardo on 2006-04-03 02:29:26 as **
  • Tool Modeling with Fujaba
    Electronic Notes in Theoretical Computer Science, Vol. 148, No. 1. (1 February 2006), pp. 173-186.
    by Leif Geiger, Albert Zündorf
    posted to tool syntax semantics model_transformation _hardcopy fujaba 2006 by leonardo on 2008-06-29 17:08:47 as **
  • Graph Transformation in a Nutshell
    Electronic Notes in Theoretical Computer Science, Vol. 148, No. 1. (1 February 2006), pp. 187-198.
    by Reiko Heckel
    posted to 2006 _hardcopy graph_transformation tutorial by leonardo on 2006-09-27 18:59:23 as ** along with 2 people and 2 groups kayani smazanek GraphTheory modeling
  • Towards formalizing UML state diagrams in CSP
    Software Engineering and Formal Methods, 2003.Proceedings. First International Conference on (2003), pp. 138-147.
    by Muan Y Ng, Michael Butler
    posted to 2003 _hardcopy csp semantics statecharts uml by leonardo on 2006-03-31 19:53:30 as ***
  • Introducing Objects through Refinement
    FM 2008: Formal Methods (2008), pp. 358-373.
    by Tim Mccomb, Graeme Smith
    posted to _to_download refinement object _hardcopy 2008 by leonardo on 2008-06-10 17:08:47 as ****
  • Behaviour Specifications:Equivalence And Refinement
    (2000)
    by Michael von der Beeck
    posted to 2000 _hardcopy equivalence refinement statecharts by leonardo on 2006-01-20 15:35:46 as ****
  • Defining Metrics for UML Statechart Diagrams in a Methodological Way
    Conceptual Modeling for Novel Application Domains (2003), pp. 118-128.
    by Marcela Genero, David Miranda, Mario Piattini
    posted to 2003 _hardcopy metrics _no_doi statecharts uml by leonardo on 2007-06-26 18:18:42 as ***
  • Making sense of social networks
    (2006), pp. 1779-1782.
    by Adam Perer
    posted to 2006 _hardcopy socialnetwork visualization by leonardo on 2007-03-22 02:15:06 as *** along with 1 person merazzle
  • On the Use of Alloy to Analyze Graph Transformation Systems
    Graph Transformations (2006), pp. 306-320.
    by Luciano Baresi, Paola Spoletini
    posted to 2006 alloy graph_transformation _hardcopy by leonardo on 2007-08-16 14:42:45 as *****
  • Model metamorphosis
    Software, IEEE, Vol. 20, No. 5. (2003), pp. 46-51.
    by T Weis, A Ulbrich, K Geihs
    posted to 2003 _hardcopy mda model_transformation by leonardo on 2007-04-28 00:57:25 as *** along with 2 people and 1 group francoisl snyder84 modeling
  • notes Verifying Statemate Statecharts Using CSP and FDR
    Lecture Notes in Computer Science : Formal Methods and Software Engineering (2006), pp. 324-341.
    by AW Roscoe, Z Wu
    posted to 2006 _hardcopy csp fdr statecharts statemate verification by leonardo on 2006-12-12 19:34:14 as *****
  • A Refinement Strategy for Circus
    Formal Aspects of Computing, Vol. V15, No. 2. (1 November 2003), pp. 146-181.
    by Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
    posted to 2003 _hardcopy circus csp refinement z by leonardo on 2006-10-07 02:51:09 as *** along with 1 group SRG
  • On Succinctness of Hierarchical State Diagrams in Absence of Message Passing
    Electronic Notes in Theoretical Computer Science, Vol. 115 (18 January 2005), pp. 89-97.
    by Andrzej Wąsowski
    posted to 2005 _hardcopy semantics statecharts by leonardo on 2006-04-01 18:00:00 as **
  • OCL: Syntax, Semantics, and Tools
    Object Modeling with the OCL (2002), pp. 447-450.
    by Mark Richters, Martin Gogolla
    posted to 2002 _hardcopy ocl _to_download_springer tools by leonardo on 2008-03-11 02:21:51 as **
  • Modelling and model checking suspendible business processes via statechart diagrams and CSP
    Science of Computer Programming, Vol. 65, No. 1. (1 March 2007), pp. 14-29.
    by WL Yeung, KRPH Leung, Ji Wang, Wei Dong
    posted to 2006 _hardcopy csp history_mechanism model_checking process_modelling statecharts by leonardo on 2007-03-09 11:43:25 as ****
  • A Program Refinement Tool
    Formal Aspects of Computing, Vol. 10, No. 2. (February 1998), pp. 97-124.
    by David Carrington, Ian Hayes, Ray Nickson, G Watson, J Welsh
    posted to 1998 _hardcopy refinement tool by leonardo on 2006-07-24 22:34:22 as ****
  • Model Transformations? Transformation Models!
    : Model Driven Engineering Languages and Systems (2006), pp. 440-453.
    by Jean Bézivin, Fabian Büttner, Martin Gogolla, Frédéric Jouault, Ivan Kurtev, Arne Lindow
    posted to 2006 _hardcopy model_transformation by leonardo on 2007-03-29 13:19:42 as **** along with 1 person and 1 group francoisl modeling
  • 29 New Unclarities in the Semantics of UML 2.0 State Machines
    Lecture Notes in Computer Science : Formal Methods and Software Engineering (2005), pp. 52-65.
    by Harald Fecher, Jens Schönborn, Marcel Kyas, Willem P de Roever
    posted to 2005 _hardcopy semantics statecharts uml uml20 by leonardo on 2006-10-07 13:55:27 as ***
  • Teaching distributed and parallel computing with Java and CSP
    Cluster Computing and the Grid, 2001. Proceedings. First IEEE/ACM International Symposium on (2001), pp. 484-491.
    by C Nevison
    posted to 2001 csp _hardcopy java teaching by leonardo on 2006-02-03 14:42:47 as **
  • Improvements Towards Formalizing UML State Diagrams in CSP
    Software Engineering Conference, 2005. APSEC '05. 12th Asia-Pacific (2005), pp. 176-184.
    by WL Yeung, KRPH Leung, Ji Wang, Wei Dong
    posted to 2005 _hardcopy csp semantics statecharts uml by leonardo on 2006-04-18 19:44:21 as ***
  • Class refinement and interface refinement in object-oriented programs
    Lecture Notes in Computer Science, Vol. 1313 (June 1997), pp. 82-101.
    by Anna Mikhajlova, Emil Sekerinski
    posted to 1997 _hardcopy object refinement by leonardo on 2006-06-26 02:14:23 as ***
  • A Fully Abstract Semantics for UML Components
    Lecture Notes in Computer Science, Vol. X (2005), pp. 49-69.
    by Frank S de Boer, MM Bonsangue, M Steffen, E Ábrahám
    posted to 2005 _hardcopy semantics statecharts uml by leonardo on 2006-10-07 13:48:34 as ***
  • An object-oriented airport: Specification and refinement in Maude
    Lecture Notes In Computer Science: Recent Trends in Data Type Specification, Vol. 906 (1995), pp. 351-367.
    by Ulrike Lechner, Christian Lengauer, Martin Wirsing
    posted to 1995 _hardcopy maude refinement by leonardo on 2007-02-09 16:03:30 as ***
  • Partitioning of perfect synchroneous reactive specifications to distributed processors using µ-charts
    Software and Systems Modeling, Vol. V5, No. 1. (30 April 2006), pp. 13-25.
    by Peter Scholz
    posted to 2006 _hardcopy concurrent_systems csp mu-charts refinement statecharts by leonardo on 2006-10-07 02:23:40 as **
  • Applying a Model Transformation Taxonomy to Graph Transformation Technology
    Electronic Notes in Theoretical Computer Science, Vol. 152 (27 March 2006), pp. 143-159.
    by Tom Mens, Pieter Van Gorp, Dániel Varró, Gábor Karsai
    posted to 2006 _hardcopy graph_transformation model_transformation taxonomy by leonardo on 2007-04-26 02:11:36 as **** along with 1 person arv852
  • Mondex , an electronic purse: specification and refinement checks with the Alloy model-finding method
    Formal Aspects of Computing, Vol. 20, No. 1. (January 2008), pp. 21-39.
    by Tahina Ramananandro
    posted to 2008 alloy _hardcopy mondex refinement by leonardo on 2007-12-20 19:28:48 as *****
  • Class Refinement as Semantics of Correct Object Substitutability
    Formal Aspects of Computing, Vol. V12, No. 1. (4 October 2000), pp. 18-40.
    by Ralph J Back, Anna Mikhajlova, Joakim von Wright
    posted to 2000 _hardcopy refinement semantics by leonardo on 2006-10-15 04:12:51 as ***
  • BUGS in Writing: A Guide to Debugging Your Prose (2nd Edition)
    (09 February 1998)
    by Lyn Dupre
    posted to 1998 _book _hardcopy writing by leonardo on 2007-08-17 15:23:47 as **
  • Code Generation from UML Models with Semantic Variation Points
    Lecture Notes in Computer Science : Model Driven Engineering Languages and Systems (2005), pp. 54-68.
    by Franck Chauvel, Jean M Jézéquel
    posted to uml20 uml statecharts semantics _hardcopy 2005 by leonardo on 2006-10-07 02:16:59 as ****
  • Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java
    Theory and Application of Graph Transformations (2000), pp. 296-309.
    by Thorsten Fischer, Jörg Niere, Lars Torunski, Albert Zündorf
    posted to 2000 graph_transformation _hardcopy java _no_doi uml by leonardo on 2007-06-01 14:27:56 as *****
  • Reduction and slicing of hierarchical state machines
    Lecture Notes in Computer Science : Software Engineering â ESEC/FSE'97 (1997), pp. 450-467.
    by Mats P Heimdahl, Michael W Whalen
    posted to 1997 _hardcopy semantics statecharts by leonardo on 2006-10-06 23:27:37 as ***
  • Model Mapping Using Formalism Extensions
    Software, IEEE, Vol. 22, No. 2. (2005), pp. 44-51.
    by G Caplat, JL Sourrouille
    posted to 2005 _hardcopy mapping model_transformation by leonardo on 2007-04-26 02:03:44 as **** along with 1 person and 1 group jolilius TUCS-ES_Lab
  • Towards UML-based formal specifications of component-based real-time software
    International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, No. 2. (14 March 2007), pp. 179-192.
    by Vieri D Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso
    posted to 2006 _hardcopy component real_time uml umlrt by leonardo on 2006-10-13 16:14:03 as ***
  • Refinement Calculus: A Systematic Introduction (Texts in Computer Science)
    (13 April 1998)
    by Ralph J Back, Joakim Wright
    posted to 1998 _book _hardcopy calculus refinement by leonardo on 2007-04-26 05:38:50 as ***
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/tag/_hardcopy

    Result page: 1 2 3 Next RIS BibTeX RSS
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.