新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

leonardo semantics [196 articles]

最近 leonardo さんのライブラリに追加された論文の中から タグ semantics. You can also see everyone's semantics.
  • 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 **
  • Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics
    Formal Methods and Software Engineering (2002), pp. 600-612.
    by Zhu Huibiao, Jonathan Bowen, He Jifeng
    posted to 2002 denotational operational semantics verilog by leonardo on 2008-03-13 14:34:46 as ***
  • Modelling Recursive Calls with UML State Diagrams
    Fundamental Approaches to Software Engineering (2003), pp. 135-149.
    by Jennifer Tenzer, Perdita Stevens
    posted to 2003 semantics statecharts uml by leonardo on 2008-03-13 14:27:19 as **
  • Describing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment
    Diagrammatic Representation and Inference (2002), pp. 213-236.
    by Yan Jin, Robert Esser, Jörn Janneck
    posted to 2002 semantics statecharts uml by leonardo on 2008-03-13 14:11:44 as ***
  • On the Precise Meaning of OCL Constraints
    Object Modeling with the OCL (2002), pp. 415-418.
    by Rolf Hennicker, Heinrich Hussmann, Michel Bidoit
    posted to 2002 ocl semantics by leonardo on 2008-03-13 14:06:29 as **
  • 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 ****
  • Algebraic State Machines
    Algebraic Methodology and Software Technology (2000), pp. 89-118.
    by Manfred Broy, Martin Wirsing
    posted to 2000 semantics statecharts by leonardo on 2008-03-11 03:00:59 as ****
  • A Formal Semantics of UML Statecharts by Model Transition Systems
    Graph Transformation (2002), pp. 378-392.
    by Dániel Varró
    posted to uml statecharts semantics 2002 by leonardo on 2008-03-11 01:35:43 as *****
  • Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models
    Automata, Languages and Programming (2000), pp. 163-174.
    by Gerald Lüttgen, Michael Mendler
    posted to 2000 semantics statecharts by leonardo on 2008-03-05 02:13:56 as **
  • Hierarchical State Machines
    Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics (2000), pp. 315-330.
    by Mihalis Yannakakis
    posted to 2000 equivalence semantics statecharts by leonardo on 2008-03-05 02:01:55 as ****
  • Communicating Hierarchical State Machines
    Automata, Languages and Programming (1999), pp. 703-703.
    by Rajeev Alur, Sampath Kannan, Mihalis Yannakakis
    posted to 1999 semantics statecharts by leonardo on 2008-03-05 01:30:30 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 ***
  • Automata Describing Object Behavior
    Object-Oriented Behavioral Specifications (1996), pp. 265-286.
    by Bernhard Rumpe, Cornel Klein
    posted to 1996 refinement semantics by leonardo on 2008-03-05 01:08:54 as **
  • Towards an Automatic Integration of Statecharts
    Conceptual Modeling — ER ’99 (15--18 November 1999), pp. 430-444.
    by Heinz Frank, Johann Eder
    posted to 1999 semantics statecharts by leonardo on 2008-03-04 13:04:00 as **
  • Statecharts: From Visual Syntax to Model-Theoretic Semantics
    (2001), pp. 615-621.
    by Gerald Lüttgen, Michael Mendler
    posted to 2001 semantics statecharts by leonardo on 2008-01-24 21:37:56 as **
  • Rewrite Rules and Operational Semantics for Model Checking UML Statecharts
    «UML» 2000 — The Unified Modeling Language (2000), pp. 528-540.
    by Gihwon Kwon
    posted to 2000 model_checking semantics statecharts uml by leonardo on 2008-01-23 18:33:43 as **
  • Completeness and Consistency in Hierarchical State-Based Requirements
    IEEE Trans. Softw. Eng., Vol. 22, No. 6. (June 1996), pp. 363-377.
    by Mats P Heimdahl, Nancy G Leveson
    posted to 1996 hierarchy semantics statecharts by leonardo on 2008-01-03 23:20:20 as **
  • Meaningful Modeling: What's the Semantics of "Semantics"?
    Computer, Vol. 37, No. 10. (October 2004), pp. 64-72.
    by David Harel, Bernhard Rumpe
    posted to 2004 _hardcopy semantics uml by leonardo on 2008-01-03 20:47:31 as **
  • A UTP semantics for Circus
    Formal Aspects of Computing (2008)
    by Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
    posted to 2008 circus refinement semantics utp by leonardo on 2007-12-12 21:32:06 as ****
  • Improving the Definition of UML
    : Model Driven Engineering Languages and Systems (2006), pp. 42-56.
    by Greg O'Keefe
    posted to 2006 semantics _to_download_springer uml by leonardo on 2007-12-08 23:56:55 as *** along with 1 person and 1 group francoisl modeling
  • Understanding and improving UML package merge
    Software and Systems Modeling (2008)
    by Jürgen Dingel, Zinovy Diskin, A Zito
    posted to 2008 alloy semantics uml _to_appear by leonardo on 2007-12-08 01:53:49 as ****
  • The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML)
    Integration of Software Specification Techniques forApplications in Engineering (2004), pp. 325-354.
    by David Harel, Hillel Kugler
    posted to 2004 _no_doi semantics statecharts _to_download_springer uml by leonardo on 2007-12-02 21:26:21 as **
  • An Approach to Formalizing the Semantics of UML Statecharts
    Conceptual Modeling – ER 2004 (2004), pp. 753-765.
    by Xuede Zhan, Huaikou Miao
    posted to 2004 _no_doi semantics statecharts _to_download_springer uml by leonardo on 2007-12-02 21:18:26 as ****
  • On the semantics of unified modeling language diagrams using Z notation
    International Journal of Intelligent Systems, Vol. 19, No. 1-2. (2004), pp. 79-88.
    by Ekawit Nantajeewarawat, Ratanachai Sombatsrisomboon
    posted to 2004 nopdf semantics _to_download_wiley uml z by leonardo on 2007-11-26 19:44:13 as ***
  • On the Use of Graph Transformation in the Formal Specification of Model Interpreters
    J. UCS, Vol. 9, No. 11. (2003), pp. 1296-1321.
    by Gábor Karsai, Aditya Agrawal, Feng Shi, Jonathan Sprinkle
    posted to 2003 graph_transformation _no_doi semantics statecharts by leonardo on 2007-11-23 16:58:44 as ****
  • An Outline of PVS Semantics for UML Statecharts
    J. UCS, Vol. 6, No. 11. (2000), pp. 1088-1108.
    by Issa Traoré
    posted to 2000 _no_doi pvs semantics statecharts uml by leonardo on 2007-11-23 16:46:18 as ***
  • Defining Atomic Composition in UML Behavioral Diagrams
    J. UCS, Vol. 12, No. 7. (2006), pp. 958-979.
    by Júlio H Machado, Paulo B Menezes
    posted to 2006 _no_doi semantics uml by leonardo on 2007-11-23 16:38:36 as ***
  • Model checking action system refinements
    Formal Aspects of Computing (2008)
    by Graeme Smith, Kirsten Winter
    posted to 2008 model_checking refinement semantics _to_appear by leonardo on 2007-11-15 22:05:33 as ****
  • Taking Alloy to the Movies
    FME 2003: Formal Methods (2003), pp. 678-697.
    by Marcelo Frias, Carlos L Pombo, Gabriel Baum, Nazareno Aguirre, Tom Maibaum
    posted to 2003 alloy _no_doi semantics by leonardo on 2007-10-26 00:55:39 as ***
  • 2nd UML 2 Semantics Symposium: Formal Semantics for UML
    Models in Software Engineering (2007), pp. 318-323.
    by Manfred Broy, Michelle Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic
    posted to 2007 semantics uml20 by leonardo on 2007-10-26 00:53:27 as ****
  • μ-Charts and Z: Hows, Whys, and Wherefores
    Integrated Formal Methods (2000a), pp. 255-276.
    by Greg Reeve, Steve Reeves
    posted to 2000 csp mu-charts refinement semantics statecharts z by leonardo on 2007-10-25 23:32:46 as ****
  • Semantics of UML 2.0 Interactions with Variabilities
    Electronic Notes in Theoretical Computer Science, Vol. 160 (8 August 2006), pp. 141-155.
    by María V Cengarle, Peter Graubmann, Stefan Wagner
    posted to 2006 semantics semantic_variation uml20 by leonardo on 2007-10-24 21:58:54 as ** along with 1 person and 1 group benavides tdg
  • notes Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff
    (2000)
    by David Harel, Bernhard Rumpe
    posted to 2000 semantics by leonardo on 2007-10-23 17:45:12 as ** along with 2 people hamish scis0000001
  • An Algebraic View on the Semantics of Model Composition
    Model Driven Architecture- Foundations and Applications (2007), pp. 99-113.
    by Christoph Herrmann, Holger Krahn, Bernhard Rumpe, Martin Schindler, Steven Völkel
    posted to 2007 model_composition model_merging semantics by leonardo on 2007-10-12 00:36:56 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
  • Toward a Formalization of UML2.0 Metamodel using Z Specifications
    Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on, Vol. 1 (2007), pp. 694-701.
    by Ahmed M Mostafa, Manal A Ismail, Hatem E Bolok, EM Saad
    posted to 2007 metamodel semantics uml20 z by leonardo on 2007-09-01 15:29:39 as *****
  • A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines
    Algebra and Coalgebra in Computer Science (2007), pp. 242-256.
    by Andreas Glausch, Wolfgang Reisig
    posted to 2007 asm semantics by leonardo on 2007-08-24 14:37:05 as **
  • A New Method for Describing the Syntax and Semantics of VIEWCHARTS
    Frontiers of High Performance Computing and Networking ISPA 2007 Workshops (2007), pp. 345-354.
    by Ayaz Isazadeh, Jaber Karimpour, Hosein Isazadeh
    posted to 2007 semantics statecharts syntax viewcharts by leonardo on 2007-08-19 14:21:24 as ***
  • Operational Semantics for Fun and Profit
    Communicating Sequential Processes (2005), pp. 265-274.
    by Michael Goldsmith
    posted to 2005 csp fdr semantics by leonardo on 2007-08-19 01:27:11 as **
  • Semantics with Applications: An Appetizer
    (28 March 2007)
    by Hanne R Nielson, Flemming Nielson
    posted to 2007 _book semantics by leonardo on 2007-08-10 13:59:56 as ****
  • A Static Semantics for Alloy and its Impact in Refactorings
    Electron. Notes Theor. Comput. Sci., Vol. 184 (2007), pp. 209-233.
    by Rohit Gheyi, Tiago Massoni, Paulo Borba
    posted to 2007 alloy refactoring semantics by leonardo on 2007-08-10 03:28:24 as ***
  • A compositional semantics of UML-RSDS
    Software and Systems Modeling (2008)
    by Kevin Lano
    posted to 2008 model_transformation semantics uml by leonardo on 2007-08-06 15:11:35 as ****
  • An operational semantics for Stateflow
    International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, No. 5. (6 October 2007), pp. 447-456.
    by Grégoire Hamon, John Rushby
    posted to 2007 semantics statecharts stateflow by leonardo on 2007-08-01 13:34:14 as **
  • Assert and negate revisited: Modal semantics for UML sequence diagrams
    Software and Systems Modeling, Vol. 7, No. 2. (May 2008), pp. 237-252.
    by David Harel, Shahar Maoz
    posted to 2008 semantics statecharts uml by leonardo on 2007-08-01 01:53:33 as ****
  • Research of testing method based on UML statecharts
    Journal of Shanghai University (English Edition), Vol. 10, No. 5. (28 October 2006), pp. 469-470.
    by Xue De Zhan
    posted to 2007 semantics statecharts thesis uml by leonardo on 2007-07-21 20:10:29 as ***
  • Software architecture analysis based on statechart semantics
    Software Specification and Design, 2000. Tenth International Workshop on (2000), pp. 133-137.
    by Marcio S Dias, Marlon E Vieira
    posted to 2000 semantics software_architecture statecharts by leonardo on 2007-06-29 21:13:41 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 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 ****
  • A Unifying Framework for the Semantics of Statecharts
    (1999)
    by Leonardo Lucena
    posted to 1999 _to_download semantics statecharts by leonardo on 2007-05-16 15:23:49 as read
  • SOS formats and meta-theory: 20 years after
    Theor. Comput. Sci., Vol. 373, No. 3. (April 2007), pp. 238-272.
    by Mohammadreza Mousavi, Michel A Reniers, Jan F Groote
    posted to 2006 operational semantics sos by leonardo on 2007-05-03 22:47:29 as ** along with 1 person keigoi
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/leonardo/tag/semantics

    Result page: 1 2 3 4 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.