注册 | 登录 | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

leonardo's library [1780 articles]

最近录入 leonardo's 文献库.
  • On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing
    Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 328-337.
    by S Sen, B Baudry, JM Mottu
    posted to no-tag by leonardo on 2008-10-10 21:24:48 as **
  • An Automated Approach for Writing Alloy Specifications Using Instances
    Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on (2006), pp. 449-457.
    by S Khurshid, MZ Malik, E Uzuncaova
    posted to alloy 2006 by leonardo on 2008-10-10 21:24:22 as **
  • A Comparative Evaluation of Tests Generated from Different UML Diagrams
    Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2008. SNPD '08. Ninth ACIS International Conference on (2008), pp. 867-872.
    by Supaporn Kansomkeat, Jeff Offutt, Aynur Abdurazik, Andrea Baldini
    posted to uml tests 2008 by leonardo on 2008-10-10 21:16:11 as **
  • A stochastic extension of a behavioural subset of UML statechart diagrams
    High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000 (2000), pp. 55-64.
    by S Gnesi, D Latella, M Massink
    posted to statecharts 2000 by leonardo on 2008-10-10 20:45:00 as **
  • SSR: Statechart with shared resources
    Human Centric Computing Languages and Environments, 2003. Proceedings. 2003 IEEE Symposium on (2003), pp. 198-200.
    by Sung-Ho Jang, Ki-Seok Bang, Jin-Young Choi
    posted to statecharts shared resources 2003 by leonardo on 2008-10-10 20:44:43 as **
  • A Brief Overview of PVS
    Theorem Proving in Higher Order Logics (2008), pp. 22-27.
    by Sam Owre, Natarajan Shankar
    posted to pvs overview 2008 by leonardo on 2008-10-07 22:17:45 as **
  • A System Development Process with Event-B and the Rodin Platform
    Formal Methods and Software Engineering (2007), pp. 1-3.
    by J Abrial
    posted to no-tag by leonardo on 2008-10-07 21:56:36 as **
  • Reasoning about programs via operational semantics: requirements for a support system
    Automated Software Engineering (2009)
    by John Hughes, Cliff Jones
    posted to semantics reasoning operational _hardcoppy 2009 by leonardo on 2008-10-07 21:42:04 as ****
  • Using UML 2.1 to Model Multi-agent Systems
    Software Technologies for Embedded and Ubiquitous Systems (2008), pp. 1-8.
    by Darshan Dillon, Tharam Dillon, Elizabeth Chang
    posted to no-tag by leonardo on 2008-10-07 21:33:50 as **
  • Will This Be Formal?
    Theorem Proving in Higher Order Logics (2008), pp. 6-11.
    by Steven Miller
    posted to formal 2008 by leonardo on 2008-10-07 19:52:40 as **
  • 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 2 people asilva 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\ 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 _on _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 H 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 (2009)
    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 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, Vol. 4, No. 3. (Oct 2008), pp. 293-300.
    by Yann T Mieg, Lom M 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 **
    • ◇温馨提示◇本页的引用地址为： 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.