Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments
暂无分享,去创建一个
Manfred Broy | Markus Herrmannsdoerfer | Stefano Merenda | Martin Feilkas | Daniel Ratiu | M. Broy | Markus Herrmannsdoerfer | D. Ratiu | Stefano Merenda | Martin Feilkas
[1] Nicolas Halbwachs,et al. LUSTRE: a declarative language for real-time programming , 1987, POPL '87.
[2] Jean Bézivin,et al. TCS:: a DSL for the specification of textual concrete syntaxes in model engineering , 2006, GPCE '06.
[3] M. Broy,et al. 2nd UML 2 semantics symposium: formal semantics for UML , 2006, MoDELS'06.
[4] Erhard Rahm,et al. An online bibliography on schema evolution , 2006, SGMD.
[5] W. Marsden. I and J , 2012 .
[6] Andy Evans,et al. A Metamodel for Package Extension with Renaming , 2002, UML.
[7] Cláudia Maria Lima Werner,et al. Odyssey-VCS: a flexible version control system for UML model elements , 2005, SCM '05.
[8] Joerg Evermann,et al. Toward formalizing domain modeling semantics in language syntax , 2005, IEEE Transactions on Software Engineering.
[9] Gabor Karsai,et al. The Generic Modeling Environment , 2001 .
[10] Jacky Estublier,et al. Composing domain-specific languages for wide-scope software engineering applications , 2005, MoDELS'05.
[11] Petru Eles,et al. Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems , 2002, Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627).
[12] Manfred Broy,et al. Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones , 2007, Innovations in Systems and Software Engineering.
[13] E. Clarke,et al. Symbolic Model Checking : IO * ’ States and Beyond * , 1992 .
[14] Edmund M. Clarke,et al. Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..
[15] Gregory Zoughbi,et al. A UML profile for developing airworthiness-compliant (RTCA DO-178B), safety-critical software , 2007, MODELS'07.
[16] Mark R. Blackburn,et al. Mars Polar Lander fault identification using model-based testing , 2002, Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings..
[17] Wei Tang,et al. Meta Object Facility , 2009, Encyclopedia of Database Systems.
[18] James Davis,et al. GME: the generic modeling environment , 2003, OOPSLA '03.
[19] Jean Bézivin,et al. Principles, standards and tools for model engineering , 2005, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05).
[20] Bernhard Westfechtel,et al. Model-based a-posteriori integration of engineering tools for incremental development processes , 2004, Software & Systems Modeling.
[21] Gabor Karsai,et al. Composition and cloning in modeling and meta-modeling , 2004, IEEE Transactions on Control Systems Technology.
[22] Tevfik Bultan,et al. Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers , 2007, Automated Software Engineering.
[23] Ivan Porres,et al. Creating and reconciling diagrams after executing model transformations , 2007, Sci. Comput. Program..
[24] Jean Bézivin,et al. Model-based DSL frameworks , 2006, OOPSLA '06.
[25] R. Stephenson. A and V , 1962, The British journal of ophthalmology.
[26] Nancy G. Leveson. Intent Specifications: An Approach to Building Human-Centered Specifications , 2000, IEEE Trans. Software Eng..
[27] Jakob Axelsson,et al. A Case Study of Issues Related to Automotive E/E System Architecture Development , 2008, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008).
[28] Franklin Ramalho,et al. Metamodel reuse with MOF , 2005, MoDELS'05.
[29] Juha-Pekka Tolvanen,et al. MetaEdit+: domain-specific modeling for full code generation demonstrated [GPCE] , 2004, OOPSLA '04.
[30] R. Lämmel. Coupled Software Transformations — Extended , 2022 .
[31] Kevin Barraclough,et al. I and i , 2001, BMJ : British Medical Journal.
[32] Jean-Marie Favre. Languages evolve too! Changing the software time scale , 2005, Eighth International Workshop on Principles of Software Evolution (IWPSE'05).
[33] Xavier Crégut,et al. The TOPCASED project : a toolkit in open source for critical aeronautic systems design , 2006 .
[34] Douglas C. Schmidt,et al. Component-Based System Integration via (Meta)Model Composition , 2007, 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07).
[35] Elmar Jürgens,et al. Automatability of Coupled Evolution of Metamodels and Models in Practice , 2008, MoDELS.
[36] Andy Schürr,et al. MDI: A Rule-based Multi-document and Tool Integration Approach , 2006, Software & Systems Modeling.
[37] Michelle L. Crane,et al. UML vs. classical vs. rhapsody statecharts: not all models are created equal , 2005, MoDELS'05.
[38] Aaas News,et al. Book Reviews , 1893, Buffalo Medical and Surgical Journal.
[39] Manfred Broy,et al. Specification and development of interactive systems: focus on streams, interfaces, and refinement , 2001 .
[40] Frank Budinsky,et al. Eclipse Modeling Framework , 2003 .
[41] Jean-Raymond Abrial,et al. Formal Methods: Theory Becoming Practice , 2007, J. Univers. Comput. Sci..
[42] Tiziana Margaria. Web services-based tool-integration in the ETI platform , 2004, Software & Systems Modeling.
[43] Gabor Karsai,et al. Design patterns for open tool integration , 2005, Software & Systems Modeling.
[44] Gilles Dowek,et al. Modeling and verification of an air traffic concept of operations , 2004, ISSTA '04.
[45] Bernhard Rumpe,et al. Model-driven Development of Complex Software : A Research Roadmap , 2007 .
[46] Steffen Becker,et al. A Process Model and Classification Scheme for Semi-Automatic Meta-Model Evolution , 2007 .
[47] Andreas Zeller. The Future of Programming Environments: Integration, Synergy, and Assistance , 2007, Future of Software Engineering (FOSE '07).
[48] Simon L. Peyton Jones,et al. Roadmap for enhanced languages and methods to aid verification , 2006, GPCE '06.
[49] Jon Whittle,et al. From scenarios to code: An air traffic control case study , 2004, Software & Systems Modeling.
[50] Manfred Broy,et al. Software Engineering for Automotive Systems: A Roadmap , 2007, Future of Software Engineering (FOSE '07).
[51] Yunja Choi,et al. From NuSMV to SPIN: Experiences with model checking flight guidance systems , 2007, Formal Methods Syst. Des..
[52] Manfred Broy,et al. Umfassendes Architekturmodell fuer das Engineering eingebetteter Software-intensiver Systeme , 2008 .
[53] B. Gruschko. Towards Synchronizing Models with Evolving Metamodels , 2007 .
[54] Matthew J. Emerson,et al. Techniques for Metamodel Composition , 2006 .
[55] Bernhard Westfechtel,et al. A graph-based algorithm for consistency maintenance in incremental and interactive integration tools , 2007, Software & Systems Modeling.
[56] Mark A. Hillebrand,et al. Towards the formal verification of lower system layers in automotive systems , 2005, 2005 International Conference on Computer Design.
[57] Jean-Raymond Abrial,et al. Formal methods in industry: achievements, problems, future , 2006, ICSE.
[58] Axel van Lamsweerde,et al. Formal specification: a roadmap , 2000, ICSE '00.
[59] Guido Wachsmuth,et al. Metamodel Adaptation and Model Co-adaptation , 2007, ECOOP.
[60] Gabor Karsai,et al. A domain-specific visual language for domain model evolution , 2004, Journal of Visual Languages and Computing.