Registrera dig | Logga in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

leonardos library [1770 articles]

Senaste artiklarna i leonardos bibliotek.
  • Representing and Operating with Model Differences
    Objects, Components, Models and Patterns (2008), pp. 141-160.
    by José E Rivera, Antonio Vallecillo
    posted to no-tag by leonardo on 2008-10-06 14:10:49 as **
  • Engineering Associations: From Models to Code and Back through Semantics
    Objects, Components, Models and Patterns (2008), pp. 336-355.
    by Zinovy Diskin, Steve Easterbrook, Juergen Dingel
    posted to no-tag by leonardo on 2008-10-06 14:10:08 as **
  • A Comparison of State-Based Modelling Tools for Model Validation
    Objects, Components, Models and Patterns (2008), pp. 278-296.
    by Emine G Aydal, Mark Utting, Jim Woodcock
    posted to z alloy 2008 by leonardo on 2008-10-06 12:32:58 as **
  • Combining ECA Rules with Process Algebras for the Semantic Web
    Rules and Rule Markup Languages for the Semantic Web, Second International Conference on (2006), pp. 29-38.
    by Erik Behrends, Oliver Fritzen, Wolfgang May, Franz Schenk
    posted to no-tag by leonardo on 2008-10-05 15:33:08 as **
  • On the compositional properties of UML statechart diagrams
    Vol. 2000 (2000), pp. 8-1.
    by Anthony JH Simons
    posted to no-tag by leonardo on 2008-10-05 14:52:55 as **
  • The methodological soundness of requirements engineering papers: a conceptual framework and two case studies
    Requir. Eng., Vol. 11, No. 4. (2006), pp. 295-307.
    by RJ Wieringa, JMG Heerkens
    posted to requirements _marcia 2006 by leonardo on 2008-10-04 11:14:59 as ** along with 1 person klinsz
  • Power laws in software
    ACM Trans. Softw. Eng. Methodol., Vol. 18, No. 1. (2008), pp. 1-26.
    by Panagiotis Louridas, Diomidis Spinellis, Vasileios Vlachos
    posted to no-tag by leonardo on 2008-10-04 11:13:09 as **
  • Reconciling statechart semantics
    Science of Computer Programming (19 September 2009)
    by Rik Eshuis
    posted to statecharts semantics 2009 by leonardo on 2008-10-02 16:53:25 as ****
  • On utility-based selection of architecture-modelling concepts
    (2005), pp. 25-34.
    by HA Proper, Verrijn AA Stuart, SJBA Hoppenbrouwers
    posted to software_architecture _marcia 2005 by leonardo on 2008-10-02 14:31:17 as **
  • An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models
    Software Testing Verification and Validation Workshop, 2008. ICSTW '08. IEEE International Conference on (2008), pp. 63-72.
    by V Santiago, NL Vijaykumar, D Guimaraes, AS Amaral, E Ferreira
    posted to no-tag by leonardo on 2008-10-02 14:30:38 as **
  • The Objects and Arrows of Computational Design
    Model Driven Engineering Languages and Systems (2008), pp. 1-20.
    by Don Batory, Maider Azanza, João Saraiva
    posted to no-tag by leonardo on 2008-09-30 17:48:38 as **
  • Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation
    Model Driven Engineering Languages and Systems (2008), pp. 766-781.
    by Pablo Sánchez, Lidia Fuentes, Dominik Stein, Stefan Hanenberg, Rainer Unland
    posted to no-tag by leonardo on 2008-09-25 15:29:54 as **
  • X3D-UML: 3D UML State Machine Diagrams
    Model Driven Engineering Languages and Systems (2008), pp. 264-279.
    by Paul Mcintosh, Margaret Hamilton, Ron van Schyndel
    posted to no-tag by leonardo on 2008-09-25 15:28:23 as **
  • Semantically Configurable Code Generation
    Model Driven Engineering Languages and Systems (2008), pp. 705-720.
    by Adam Prout, Joanne Atlee, Nancy Day, Pourya Shaker
    posted to semantic_variation 2008 by leonardo on 2008-09-25 15:26:26 as **
  • Towards a Formal Account of a Foundational Subset for Executable UML Models
    Model Driven Engineering Languages and Systems (2008), pp. 675-689.
    by Michelle Crane, Juergen Dingel
    posted to uml statecharts _to_download_springer 2008 by leonardo on 2008-09-25 15:25:07 as **
  • Enriching Reverse Engineering with Annotations
    Model Driven Engineering Languages and Systems (2008), pp. 660-674.
    by Andrea Brühlmann, Tudor Gîrba, Orla Greevy, Oscar Nierstrasz
    posted to transformation reverse annotations _marcia 2008 by leonardo on 2008-09-25 15:23:30 as **
  • An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations
    Model Driven Engineering Languages and Systems (2008), pp. 37-52.
    by Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara
    posted to no-tag by leonardo on 2008-09-25 15:09:32 as **
  • A Lightweight Approach for Defining the Formal Semantics of a Modeling Language
    Model Driven Engineering Languages and Systems (2008), pp. 690-704.
    by Pierre Kelsen, Qin Ma
    posted to semantics formal alloy _hardcopy 2008 by leonardo on 2008-09-25 15:00:10 as *****
  • Program Repair Suggestions from Graphical State-Transition Specifications
    Formal Techniques for Networked and Distributed Systems – FORTE 2008 (2008), pp. 185-200.
    by Farn Wang, Chih-Hong Cheng
    posted to no-tag by leonardo on 2008-09-18 17:10:35 as **
  • A comparison of refinement orderings and their associated simulation rules
    Electronic Notes in Theoretical Computer Science, Vol. 70, No. 3. (November 2002), pp. 297-310.
    by Christie Bolton, Jim Davies
    posted to no-tag by leonardo on 2008-09-17 01:03:26 as **
  • Refinement in Object-Z and CSP
    Integrated Formal Methods (2002), pp. 225-244.
    by Christie Bolton, Jim Davies
    posted to no-tag by leonardo on 2008-09-17 01:02:27 as ** along with 1 person mishra_satish
  • Refinement of Component Model Standards and Conventions
    High Confidence Software Reuse in Large Systems (2008), pp. 278-281.
    by Hazleen Aris, Siti Salim
    posted to no-tag by leonardo on 2008-09-16 02:05:08 as ** along with 1 person buchgeher
  • From algebraic semantics to denotational semantics for Verilog
    Innovations in Systems and Software Engineering
    by Huibiao Zhu, Jifeng He, Jonathan Bowen
    posted to no-tag by leonardo on 2008-09-12 14:52:20 as **
  • notes On Automating the Calculus of Relations
    Automated Reasoning (2008), pp. 50-66.
    by Peter Höfner, Georg Struth
    posted to no-tag by leonardo on 2008-09-08 20:03:34 as **
  • Modularity Analysis of Logical Design Models
    Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on (2006), pp. 91-102.
    by Yuanfang Cai, Kevin J Sullivan
    posted to no-tag by leonardo on 2008-09-05 14:03:37 as **
  • Development of Fault Tolerant Grid Applications Using Distributed B
    Integrated Formal Methods (2005), pp. 167-186.
    by Pontus Boström, Marina Waldén
    posted to no-tag by leonardo on 2008-09-03 19:49:28 as **
  • An Integrated Framework for Scenarios and State Machines
    Integrated Formal Methods (2005), pp. 366-385.
    by Bikram Sengupta, Rance Cleaveland
    posted to no-tag by leonardo on 2008-09-03 19:47:40 as **
  • Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse
    Models in Software Engineering (2008), pp. 194-205.
    by Emine Aydal, Richard Paige, Jim Woodcock
    posted to no-tag by leonardo on 2008-09-03 18:44:38 as **
  • A small model theorem for bisimilarity control under partial observation
    American Control Conference, 2005. Proceedings of the 2005 (2005), pp. 3937-3942 vol. 6.
    by Changyan Zhou, Ratnesh Kumar
    posted to no-tag by leonardo on 2008-09-02 02:28:33 as **
  • Towards a Small Model Theorem for Data Independent Systems in Alloy
    Electronic Notes in Theoretical Computer Science, Vol. 128, No. 6. (23 May 2005), pp. 37-52.
    by Lee Momtahan
    posted to small_model data_independence alloy _hardcopy 2005 by leonardo on 2008-09-01 23:28:45 as ****
  • Assertions: a personal perspective
    IEEE Ann. Hist. Comput., Vol. 25, No. 2. (2003), pp. 14-25.
    by CAR Hoare
    posted to no-tag by leonardo on 2008-09-01 21:38:10 as **
  • Assigning meanings to programs
    (1967), pp. 19-32.
    by Robert W Floyd
    posted to hoare classic 1967 by leonardo on 2008-09-01 21:36:55 as **
  • Integrating System and Software Engineering Through Modeling
    Aerospace Conference, 2008 IEEE (2008), pp. 1-12.
    by J Mindock, G Watney
    posted to no-tag by leonardo on 2008-09-01 15:59:21 as **
  • Ten Years of Hoare's Logic: A Survey---Part I
    ACM Trans. Program. Lang. Syst., Vol. 3, No. 4. (1981), pp. 431-483.
    by Krzysztof R Apt
    posted to years_later hoare 1981 by leonardo on 2008-09-01 15:32:36 as **
  • Refinement and verification in component-based model driven design
    Science of Computer Programming, Vol. In Press, Accepted Manuscript (2009)
    by Zhenbang Chen, Zhiming Liu, Anders P Ravn, Volker Stolz, Naijun Zhan
    posted to no-tag by leonardo on 2008-09-01 15:23:07 as **
  • Towards an integrated graph-based semantics for UML
    Software and Systems Modeling (2009)
    by Sabine Kuske, Martin Gogolla, Hans-Jörg Kreowski, Paul Ziemann
    posted to no-tag by leonardo on 2008-09-01 14:53:00 as **
  • Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems
    Theoretical Aspects of Computing - ICTAC 2008 (2008), pp. 305-318.
    by Vahid Rafe, Adel Rahmani
    posted to no-tag by leonardo on 2008-09-01 14:52:13 as **
  • UML behavioral consistency checking using instantiable Petri nets
    Innovations in Systems and Software Engineering
    by Yann Thierry-Mieg, Lom-Messan Hillah
    posted to no-tag by leonardo on 2008-09-01 14:52:00 as **
  • Implementing Social Filter Rules in a Dialogue Manager Using Statecharts
    Intelligent Virtual Agents (2008), pp. 474-475.
    by Jenny Brusk
    posted to no-tag by leonardo on 2008-09-01 14:51:20 as **
  • Suggestions on Pattern Transformation in UML-RT
    icsea, Vol. 0 (2007)
    by Yifeng Sun, David Levy
    posted to no-tag by leonardo on 2008-08-29 17:33:17 as **
  • An axiomatic definition of the programming language PASCAL
    Acta Informatica, Vol. 2, No. 4. (1 December 1973), pp. 335-355.
    by CAR Hoare, N Wirth
    posted to no-tag by leonardo on 2008-08-28 15:44:09 as **
  • 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
  • Teaching Software Architecture Design
    Software Architecture, 2008. WICSA 2008. Seventh Working IEEE/IFIP Conference on (2008), pp. 117-124.
    by T Mannisto, J Savolainen, V Myllarniemi
    posted to 2008 _marcia software_architecture teaching by leonardo on 2008-08-27 15:09:20 as **
  • Beginnings and endings: keys to better engineering technical writing
    Professional Communication, IEEE Transactions on, Vol. 40, No. 4. (1997), pp. 299-304.
    by MM Pierson, BL Pierson
    posted to no-tag by leonardo on 2008-08-24 15:52:18 as ** along with 1 person germoglio
  • Publish and perish: why the current publication and review model is killing research and wasting your money
    Ubiquity, Vol. 8, No. 3. (2007), pp. 1-1.
    by Fabio Casati, Fausto Giunchiglia, Maurizio Marchese
    posted to no-tag by leonardo on 2008-08-20 17:46:39 as ** along with 1 person germoglio
  • A Systematic Approach for Integrating Fault Trees into System Statecharts
    Computer Software and Applications, 2008. COMPSAC '08. 32nd Annual IEEE International (2008), pp. 120-123.
    by Omar E Ariss, Dianxiang Xu, Eric W Wong, Yuting Chen, Yann-Hang Lee
    posted to no-tag by leonardo on 2008-08-20 15:33:49 as **
  • On the Adequacy of Statecharts as a Source of Tests for Cryptographic Protocols
    Computer Software and Applications, 2008. COMPSAC '08. 32nd Annual IEEE International (2008), pp. 937-942.
    by KR Jayaram, Aditya P Mathur
    posted to no-tag by leonardo on 2008-08-20 15:33:43 as **
  • Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach
    qsic, Vol. 0 (2007), pp. 356-362.
    by Farid Mokhati, Patrice Gagnon, Mourad Badri
    posted to no-tag by leonardo on 2008-08-20 15:28:17 as **
  • Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance
    Secure System Integration and Reliability Improvement, 2008. SSIRI '08. Second International Conference on (2008), pp. 47-51.
    by Doron Drusinsky, James B Michael, Thomas W Otani, Man-Tak Shing
    posted to no-tag by leonardo on 2008-08-20 15:25:11 as **
  • Introduction to special issue: papers from UML&FM
    Innovations in Systems and Software Engineering
    by Jean-Michel Bruel, Agusti Canals, Sébastien Gérard, Isabelle Perseil
    posted to no-tag by leonardo on 2008-08-20 14:59:27 as **
    • Du kan hänvisa till den här sidan som: http://www.citeulike.org/user/leonardo

    Result page: 1 2 3 4 5 6 7 8 9 10 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.