Регистрация | Вход в службу | FAQ      [?] 

Ключевое слово _hardcopy [116 articles]

Recent papers classified by the tag _hardcopy.
  • 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 ***
  • Modeling Reactive Systems With Statecharts : The Statemate Approach
    (08 October 1998)
    by David Harel, Michal Politi
    posted to 1998 _book _hardcopy statecharts statemate by leonardo on 2006-04-01 14:01:02 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
  • 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 ****
  • Formal Validation of Hierarchical State Machines against Expectations
    Software Engineering Conference, 2007. ASWEC 2007. 18th Australian (2007), pp. 181-190.
    by Ian Toyn, Andy Galloway
    posted to 2007 _hardcopy statecharts validation by leonardo on 2007-05-29 17:25:44 as ***
  • A CSP-based agent modeling framework for the Cougaar agent-based architecture
    Engineering of Computer-Based Systems, 2005. ECBS '05. 12th IEEE International Conference and Workshops on the (2005), pp. 255-262.
    by D Gracanin, HL Singh, Michael G Hinchey, M Eltoweissy, SA Bohner
    posted to 2005 _hardcopy agents csp by leonardo on 2007-05-06 21:25:43 as ***
  • 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 brief history of process algebra
    Theoretical Computer Science, Vol. 335, No. 2-3. (23 May 2005), pp. 131-146.
    by JCM Baeten
    posted to 2005 _hardcopy history_of process_algebra by leonardo on 2007-03-26 19:05:53 as ** along with 2 people keigoi mrkoot
  • A method for describing the syntax and semantics of UML statecharts
    Software and Systems Modeling, Vol. V3, No. 2. (1 May 2004), pp. 150-163.
    by Yan Jin, Robert Esser, Jörn W Janneck
    posted to 2004 _hardcopy semantics statecharts uml by leonardo on 2006-10-07 02:03:34 as ***
  • On Writing Well, 30th Anniversary Edition: The Classic Guide to Writing Nonfiction (On Writing Well)
    (01 May 2006)
    by William Zinsser
    posted to 2006 _book _hardcopy writing by leonardo on 2007-07-13 21:10:50 as **
  • 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 z refinement mondex alloy _hardcopy 2008 by leonardo on 2007-12-20 19:28:48 as *****
  • On the Use of Graph Transformations for Model Refactoring
    : Generative and Transformational Techniques in Software Engineering (2006), pp. 219-257.
    by Tom Mens
    posted to 2006 _hardcopy graph_transformation refactoring by leonardo on 2007-04-15 16:14:35 as *** along with 1 person segura
  • An axiomatic basis for computer programming
    Commun. ACM, Vol. 12, No. 10. (October 1969), pp. 576-580.
    by CAR Hoare
    posted to hoare classic _hardcopy 1969 by leonardo on 2008-08-28 15:02:56 as **** along with 11 people and 5 groups jkominek rwtodd dsilva jff jbrown rgb calvins flavian_vasile _Anne_ bfraser zuleger Crypto GraphTheory pileWorks Foundations-of-Programming TMC
  • notes More matters on (meta-)modelling: remarks on Thomas Kuhnes matters
    Software and Systems Modeling (SoSyM), Vol. 5, No. 4. (December 2006), pp. 387-394.
    by Wolfgang Hesse
    posted to 2006 _hardcopy meta-modelling by leonardo on 2007-03-20 19:13:37 as **** along with 1 person and 1 group francoisl modeling
  • Slicing Hierarchical Automata for Model Checking UML Statecharts
    Formal Methods and Software Engineering (2002), pp. 435-446.
    by Ji Wang, Wei Dong, Zhi C Qi
    posted to 2002 eha _hardcopy model_checking slicing statecharts uml by leonardo on 2008-03-10 00:31:55 as ****
  • Definition and Correct Refinement of Operation Specifications
    : Dependable Systems: Software, Computing, Networks (2006), pp. 127-144.
    by Thomas Baar, Slaviša Marković, Frédéric Fondement, Alfred Strohmeier
    posted to 2006 _hardcopy graph_transformation ocl qvt refactoring refinement uml by leonardo on 2007-04-15 16:19:16 as ****
  • Object-Oriented Software Construction
    (21 March 2000)
    by Bertrand Meyer
    posted to _hardcopy _to_download by leonardo on 2008-02-10 02:26:00 as ** along with 10 people hamish plaugg guyomarj zemeigo wnpx anitabanerji cekay francolq mldechert chunchung
  • A Survey of Software Refactoring
    IEEE Trans. Softw. Eng., Vol. 30, No. 2. (February 2004), pp. 126-139.
    by Tom Mens, Tom Tourwe
    posted to 2004 _hardcopy refactoring survey by leonardo on 2008-01-03 20:34:46 as ** along with 6 people jjeong jweslley emerson segura metamorphos_bari alphabetagamma
  • 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 **
  • Design and implementation of a discrete event system using statecharts
    Systems, Man and Cybernetics, 2003. IEEE International Conference on, Vol. 2 (2003), pp. 1147-1152.
    by Yisheng Huang, Shengluen Chung, Muder Jeng, Jennhuei Lin
    posted to 2003 _hardcopy statecharts by leonardo on 2006-10-09 13:20:25 as **
  • Modelchecking Correctness of Refactorings - Some Experiments
    Electronic Notes in Theoretical Computer Science, Vol. 187 (15 July 2007), pp. 3-17.
    by H-Christian Estler, Thomas Ruhroth, Heike Wehrheim
    posted to 2007 _hardcopy model_checking refactoring by leonardo on 2008-04-21 19:02:44 as **
  • UML vs. classical vs. rhapsody statecharts: not all models are created equal
    Software and Systems Modeling, Vol. 6, No. 4. (December 2007), pp. 415-435.
    by Michelle L Crane, Jürgen Dingel
    posted to 2007 _hardcopy rhapsody semantics statecharts uml by leonardo on 2007-01-25 20:03:03 as **** along with 1 person carmaus
  • Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines
    Real-Time Systems, Vol. 32, No. 1-2. (February 2006), pp. 105-123.
    by Angelo Furfaro, Libero Nigro, Francesco Pupo
    posted to 2006 _hardcopy csp statecharts by leonardo on 2006-08-23 18:40:34 as ****
  • Modular structural operational semantics
    Journal of Logic and Algebraic Programming, Vol. 60-61 ( 2004), pp. 195-228.
    by Peter D Mosses
    posted to 2004 _hardcopy msos semantics sos by leonardo on 2006-06-06 13:26:47 as ****
  • A Semantics for UML-RT using pi-calculus
    Rapid System Prototyping, 2007. RSP 2007. 18th IEEE/IFIP International Workshop on (2007), pp. 75-82.
    by Juliana Bezerra, Celso M Hirata
    posted to 2007 _hardcopy semantics umlrt by leonardo on 2007-06-21 18:07:45 as ****
  • Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications
    Tools and Algorithms for the Construction and Analysis of Systems (2007), pp. 587-601.
    by Marcelo Frias, Carlos L Pombo, Mariano Moscato
    posted to verification pvs analysis alloy _hardcopy 2007 by leonardo on 2007-10-26 00:34:54 as **** along with 1 person newdawn
  • A Taxonomy of Web Services Using CSP
    Electronic Notes in Theoretical Computer Science, Vol. 151, No. 2. (31 May 2006), pp. 71-87.
    by Lee Momtahan, Andrew Martin, AW Roscoe
    posted to 2006 _hardcopy csp taxonomy by leonardo on 2006-09-26 01:48:28 as **
  • Statecharts via Process Algebra
    CONCUR’99 Concurrency Theory (1999), pp. 782-782.
    by Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland
    posted to 1999 equivalence _hardcopy semantics statecharts by leonardo on 2008-03-05 01:26:25 as ***
  • On the frame problem in procedure specifications
    Software Engineering, IEEE Transactions on, Vol. 21, No. 10. (1995), pp. 785-798.
    by Alexander Borgida, John Mylopoulos, Raymond Reiter
    posted to 1995 formal_specifications frame_assertion frame_conditions _hardcopy proof_obligations by leonardo on 2008-02-12 17:25:43 as ****
  • Hierarchical finite state machines with multiple concurrency models
    Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, Vol. 18, No. 6. (1999), pp. 742-760.
    by A Girault, Bilung Lee, EA Lee
    posted to 1999 concurrency _hardcopy semantics statecharts by leonardo on 2006-09-15 14:39:06 as ****
  • Model transformation: the heart and soul of model-driven software development
    Software, IEEE, Vol. 20, No. 5. (2003), pp. 42-45.
    by S Sendall, W Kozaczynski
    posted to 2003 _hardcopy mdd model_transformation by leonardo on 2007-04-26 18:05:26 as **** along with 2 people snyder84 paulampkelly
  • 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 ***
  • 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 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
  • Designing the automatic transformation of visual languages
    Science of Computer Programming, Vol. 44, No. 2. (August 2002), pp. 205-227.
    by Dániel Varró, Gergely Varró, András Pataricza
    posted to 2002 _hardcopy graph_transformation statecharts by leonardo on 2006-09-28 15:15:30 as **** along with 1 person scis0000001
  • Idioms for μ-charts
    Software Engineering Conference, 2001. Proceedings. 2001 Australian (2001), pp. 224-231.
    by G Anderson, Greg Reeve, Steve Reeves
    posted to 2001 _hardcopy mu-charts statecharts by leonardo on 2006-10-10 20:24:34 as ****
  • 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 **
  • Equivalences of Statecharts
    Lecture Notes in Computer Science : CONCUR '96: Concurrency Theory (1996), pp. 687-702.
    by Andrea M Schettini, Adriano Peron, Simone Tini
    posted to 1996 _hardcopy equivalence semantics statecharts by leonardo on 2006-10-06 19:59:10 as ****
  • Ten commandments of formal methods... ten years later
    Computer, Vol. 39, No. 1. (2006), pp. 40-48.
    by Jonathan Bowen, Michael G Hinchey
    posted to 2006 _hardcopy formal years_later by leonardo on 2007-02-08 12:30:35 as **** along with 2 people and 2 groups benavides oster tdg ecoo-ce
  • 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 ***
  • 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 ***
  • 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
  • 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 ***
  • 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
  • Formalization of UML-Statecharts
    «UML» 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools (2001), pp. 406-421.
    by Michael von der Beeck
    posted to 2001 formal _hardcopy semantics statecharts uml by leonardo on 2008-03-11 03:09:16 as ****
  • notes Matters of (Meta-) Modeling
    Software and Systems Modeling (SoSyM), Vol. 5, No. 4. (December 2006), pp. 369-385.
    by Thomas Kühne
    posted to 2006 _hardcopy mde meta-modelling by leonardo on 2007-03-20 19:06:23 as **** along with 3 people and 1 group marcia francoisl sabetta modeling
  • 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 *****
  • Towards proving preservation of behaviour of refactoring of UML models
    (2005), pp. 252-259.
    by Marc van Kempen, Michel Chaudron, Derrick Kourie, Andrew Boake
    posted to 2005 _hardcopy csp process_algebra refactoring statecharts uml by leonardo on 2006-10-15 02:02:19 as ***** along with 2 people msakai keigoi
  • 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 **
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/tag/_hardcopy

    Result page: 1 2 3 Next RIS BibTeX
    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.