Search results for "executable models"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Marco Blumendorf, Grzegorz Lehmann, Sahin Albayrak	Bridging models and systems at runtime to build adaptive user interfaces.	EICS	2010	DBLP DOI BibTeX RDF	model-driven engineering, adaptive user interfaces, executable models, model-based user interface development
2	Tabinda Waheed, Muhammad Zohaib Z. Iqbal, Zafar I. Malik	Data Flow Analysis of UML Action Semantics for Executable Models.	ECMDA-FA	2008	DBLP DOI BibTeX RDF	Data Flow Analysis, Executable modeling, Executable UML, Action Semantics
2	Nélio Cacho, Thomas Cottenier, Alessandro Garcia	Improving robustness of evolving exceptional behaviour in executable models.	Workshop on Exception Handling	2008	DBLP DOI BibTeX RDF	exception control flow, aspect-oriented programming, modularity, exception handling, model-driven software development
2	Marco Blumendorf, Grzegorz Lehmann, Sebastian Feuerstack, Sahin Albayrak	Executable Models for Human-Computer Interaction.	DSV-IS	2008	DBLP DOI BibTeX RDF	runtime interpretation, human-computer interaction, model-based user interfaces
2	Grzegorz Lehmann, Marco Blumendorf, Sebastian Feuerstack, Sahin Albayrak	Utilizing Dynamic Executable Models for User Interface Development.	DSV-IS	2008	DBLP DOI BibTeX RDF	runtime interpretation, human-computer interaction, model-based user interfaces
2	Rubby Casallas, Milena Vela, Catalina Acero, Nicolás López	xEAI-rules: executable models to simulate enterprise application cooperation.	SAC	2006	DBLP DOI BibTeX RDF	model transformation, EAI, executable models, ECA rules, platform independent models
2	Adriano Sarmento, Wander O. Cesário, Ahmed Amine Jerraya	Automatic Building of Executable Models from Abstract SoC Architectures Made of Heterogeneous Subsystems.	IEEE International Workshop on Rapid System Prototyping	2004	DBLP DOI BibTeX RDF
2	Jens Bæk Jørgensen, Søren Christensen	Executable Design Models for a Pervasive Healthcare Middleware System.	UML	2002	DBLP DOI BibTeX RDF	detailed behaviour, pervasive and mobile computing, supplementing UML, middleware, Petri nets, system design, Executable models, CPN
2	Manas Saksena, Paul Freedman, Pawel Rodziewicz	Guidelines for automated implementation of executable object oriented models for real-time embedded control systems. (PDF / PS)	IEEE Real-Time Systems Symposium	1997	DBLP DOI BibTeX RDF	control system analysis computing, automated implementation, executable object oriented models, real time embedded control systems, real time scheduling theory, ROOM methodology, telecommunications community, commercial systems, case tool ObjecTime, reactive real time behavior, hard real time components, cruise control example, ROOM model, executable models, priority inversions, temporal behavior, Real time Object Oriented Modeling
2	Mette Vestli, Inge Nordbø, Arne Sølvberg	Modeling Control in Rule-Based Systems.	IEEE Software	1994	DBLP DOI BibTeX RDF	Comex modeling tool, control knowledge modeling, execution tool, intended system behavior, evolving model, rule-based paradigm, specification phase, software-engineering principles, modelling, formal specification, software tools, knowledge based systems, problem solving, knowledge engineering, rule-based systems, rule base, executable models, problem-solving strategy
2	Joshua Etkin, John A. Zinky	Development Life Cycle of Computer Networks: The Executable Model Approach.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	network development life cycle, day-to-day operation, development tasks, software engineeringa, computer networks, computer networks, digital simulation, executable models, design models
1	Helmuth Partsch, Marcel Dausend, Dominik Gessenharter, Jens Kohlmeyer, Alexander Raschke	From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven Development.	Int. J. Software and Informatics	2011	DBLP BibTeX RDF
1	Carlos Rodríguez, Mario Sánchez, Jorge Villalobos	Metamodel Dependencies for Executable Models.	TOOLS	2011	DBLP DOI BibTeX RDF
1	Elena Planas, Jordi Cabot, Cristina Gómez	Lightweight Verification of Executable Models.	ER	2011	DBLP DOI BibTeX RDF
1	Laurent Wouters, Marie-Pierre Gervais	xOWL: An Executable Modeling Language for Domain Experts.	EDOC	2011	DBLP DOI BibTeX RDF	Semantic Web, Model-Driven Development, Executable Models
1	Grzegorz Lehmann, Marco Blumendorf, Sahin Albayrak	Development of context-adaptive applications on the basis of runtime user interface models.	EICS	2010	DBLP DOI BibTeX RDF	model-driven engineering, adaptive user interfaces, executable models, model-based user interface development
1	Atzmon Hen-Tov, David H. Lorenz, Lior Schachter	ModelTalk: A Framework for Developing Domain Specific Executable Models	CoRR	2009	DBLP BibTeX RDF
1	Alida Palmisano, I. Mura, Corrado Priami	From ODES to Language-Based, Executable Models of Biological Systems.	Pacific Symposium on Biocomputing	2009	DBLP BibTeX RDF
1	Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel	Run-time conformance checking of mobile and distributed systems using executable models.	PADTAD	2009	DBLP DOI BibTeX RDF	distributed event simulation, executable specification formalisms, Java, mobility, mobile agents, software testing, process algebra, conformance testing, ?-calculus, runtime monitoring, Aglets
1	Leonid Kof	Requirements Analysis: Concept Extraction and Translation of Textual Specifications to Executable Models.	NLDB	2009	DBLP DOI BibTeX RDF
1	Christian Glodt, Pierre Kelsen, Nuno Amálio, Qin Ma 0002	From platform-independent to platform-specific models using democles.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	platform-specific model, code generation, visual programming, domains, executable models, platform-independent model
1	Reda Bendraou, Jean-Marc Jézéquel, Franck Fleurey	Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Execution.	ICSP	2009	DBLP DOI BibTeX RDF	process modeling and execution, UML, Executable models
1	Lidia Fuentes, Nadia Gámez, Pablo Sánchez	Aspect-oriented design and implementation of context-aware pervasive applications.	ISSE	2009	DBLP DOI BibTeX RDF	UML executable models, Context-aware, Aspect-oriented, Pervasive systems
1	Patrice Gerin, Mian Muhammad Hamayun, Frédéric Pétrot	Native MPSoC co-simulation environment for software performance estimation.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	code annotation, MPSoC, system simulation, cross-compilation
1	Karla Donato Fook, Silvana Amaral, Antônio Miguel Vieira Monteiro, Gilberto Câmara, Marco A. Casanova	Sharing Executable Models Through an Open Architecture Based on Geospatial Web Services: a Case Study in Biodiversity Modelling.	GeoInfo	2008	DBLP BibTeX RDF
1	Philipp Graf, Klaus D. Müller-Glaser	ModelScope: inspecting executable models during run-time.	ICSE Companion	2008	DBLP DOI BibTeX RDF
1	Grzegorz Falda, Piotr Habela, Krzysztof Kaczmarski, Krzysztof Stencel, Kazimierz Subieta	Executable Platform Independent Models for Data Intensive Applications.	ICCS	2008	DBLP DOI BibTeX RDF	UML, Model Driven Architecture, OCL, Executable Models, Database Modelling, Platform Independent Modelling, Database Query Languages
1	Gabor Karsai, Janos Sztipanovits	Model-Integrated Development of Cyber-Physical Systems.	SEUS	2008	DBLP DOI BibTeX RDF	model-driven development, system integration, executable models, cyber-physical systems, model-integrated computing
1	Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto	Model-driven constraint programming.	PPDP	2008	DBLP DOI BibTeX RDF	constraint modeling languages, model transformation, metamodeling, constraint programming
1	Zhonglei Wang, Wolfgang Haberl, Stefan Kugele, Michael Tautschnig	Automatic generation of systemc models from component-based designs for early design validation and performance analysis.	WOSP	2008	DBLP DOI BibTeX RDF	cola, simulation, code generation, systemc
1	Stefano Monti, Walter Nesci, Serino Angellotti, Claudio Schellino, Massimo Seminara, Rainer Wuesthenagen	Configuration and Change Management of the Outcomes of an Automotive Engine Control Model Based Software Design Process.	COMPSAC	2008	DBLP DOI BibTeX RDF
1	Claudio Talarico, David Freiberger, Tyler Jones, Brandon Hopkins, Charlie Herr, Min-Sung Koh, Esteban Rodriguez-Marek	A Hybrid Approach for Modeling and Assessing Performance of Embedded Systems in a Biologically Critical Application.	ECBS	2008	DBLP DOI BibTeX RDF
1	Xiao-li Bai, Xue-shan Luo, Xiao-hui Bai, Xian-qing Yi, Hong-hui Chen, De-ke Guo	Study of DoD Architecture Simulation Validation based on UML and Extended Colored Petri Nets.	ICNSC	2008	DBLP DOI BibTeX RDF
1	Christoph Knieke, Michaela Huhn, Malte Lochau	Executable Requirements Specification: Formal Semantics of Live Activity Diagrams.	TASE	2008	DBLP DOI BibTeX RDF	Unified Modeling Language, Requirements Engineering, Activity Diagrams, Live Sequence Charts
1	Rachel Blagojevic, Beryl Plimmer, John C. Grundy, Yong Wang	Development of techniques for sketched diagram recognition.	VL/HCC	2008	DBLP DOI BibTeX RDF
1	Manuel Bork, Leif Geiger, Christian Schneider, Albert Zündorf	Towards Roundtrip Engineering - A Template-Based Reverse Engineering Approach.	ECMDA-FA	2008	DBLP DOI BibTeX RDF
1	Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen	Testing Concurrent Objects with Application-Specific Schedulers.	ICTAC	2008	DBLP DOI BibTeX RDF
1	Michael Lowry	Intelligent Software Engineering Tools for NASA's Crew Exploration Vehicle.	ISMIS	2008	DBLP DOI BibTeX RDF
1	Farhad Arbab, Natallia Kokash, Sun Meng	Towards Using Reo for Compliance-Aware Business Process Modeling.	ISoLA	2008	DBLP DOI BibTeX RDF
1	Jens Bæk Jørgensen, Kristian Bisgaard Lassen, Wil M. P. van der Aalst	From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system.	STTT	2008	DBLP DOI BibTeX RDF	Executable use cases, Workflow management, Colored Petri nets, YAWL
1	Philipp Graf, Klaus D. Müller-Glaser	Gaining Insight into Executable Models during Runtime: Architecture and Mappings.	IEEE Distributed Systems Online	2007	DBLP DOI BibTeX RDF
1	Joseph Barjis	Developing Executable Models of Business Systems.	ICEIS	2007	DBLP BibTeX RDF
1	Marcello Mura, Marco Paolieri	SC2 StateCharts to SystemC: Automatic Executable Models Generation.	FDL	2007	DBLP BibTeX RDF
1	Michael Soden, Hajo Eichler	An Approach to use Executable Models for Testing.	EMISA	2007	DBLP BibTeX RDF
1	Christian Glodt, Pierre Kelsen, Elke Pulvermueller	DEMOCLES: a tool for executable modeling of platform-independent systems.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	code generation, model-driven architecture, visual programming, eclipse, executable models, platform-independent model
1	Lars-Åke Fredlund, Hans Svensson	McErlang: a model checker for a distributed functional programming language.	ICFP	2007	DBLP DOI BibTeX RDF
1	Gregory A. Silver, Osama Al-Haj Hassan, John A. Miller	From domain ontologies to modeling ontologies to executable simulation models.	Winter Simulation Conference	2007	DBLP DOI BibTeX RDF
1	Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, Axel Jantsch	EWD: A metamodeling driven customizable multi-MoC system modeling framework.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	ForSyDe, MoC, heterogeneous system design, interoperable modeling language, Metamodeling, metamodel, SystemC, functional language, denotational semantics, Ptolemy II
1	Reda Bendraou, Benoît Combemale, Xavier Crégut, Marie-Pierre Gervais	Definition of an Executable SPEM 2.0.	APSEC	2007	DBLP DOI BibTeX RDF
1	Ke Jiang, Lei Zhang, Shigeru Miyake	An Executable UML with OCL-based Action Semantics Language.	APSEC	2007	DBLP DOI BibTeX RDF	UML, Model-Driven, Executable UML
1	Patrice Gerin, Hao Shen, A. Chureau, Aimen Bouchhima, Ahmed Amine Jerraya	Flexible and Executable Hardware/Software Interface Modeling for Multiprocessor SoC Design Using SystemC.	ASP-DAC	2007	DBLP DOI BibTeX RDF	transaction accurate level, hardware/software interface modeling, multiprocessor SoC design, automatic generation tools, system-on-chip, SystemC, abstraction level, architecture exploration
1	Fabien Romeo, Franck Barbier, Jean-Michel Bruel	Autonomic Management of Component-Based Embedded Software.	Integrated Network Management	2007	DBLP DOI BibTeX RDF
1	Emil Vassev, Joey Paquet	ASSL - Autonomic System Specification Language.	SEW	2007	DBLP DOI BibTeX RDF
1	Piotr Habela, Krzysztof Kaczmarski, Krzysztof Stencel, Kazimierz Subieta	Implementing OCL as a Database Query Language.	OTM Workshops	2007	DBLP DOI BibTeX RDF
1	Corrado Priami	Computational Thinking in Biology.	T. Comp. Sys. Biology	2007	DBLP DOI BibTeX RDF
1	Carolyn L. Talcott	Formal Executable Models of Cell Signaling Primitives.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Ankit Goel, Abhik Roychoudhury	Synthesis and Traceability of Scenario-Based Executable Models.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Christian Glodt, Pierre Kelsen	DEMOS: a tool for declarative executable modeling of object-based systems.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	Java, object-oriented programming, code generation, functional programming, visual programming, eclipse, coupling, executable models, declarative
1	Florin Dumitrascu, Iuliana Bacivarov, Lorenzo Pieralisi, Marius Bonaciu, Ahmed Amine Jerraya	Flexible MPSoC platform with fast interconnect exploration for optimal system performance for a specific application.	DATE Designers' Forum	2006	DBLP DOI BibTeX RDF
1	Carolyn L. Talcott	Symbolic modeling of signal transduction in pathway logic.	Winter Simulation Conference	2006	DBLP DOI BibTeX RDF
1	Christo Angelov, Krzysztof Sierszecki, Nicolae Marian, Jinpeng Ma	A Formal Component Framework for Distributed Embedded Systems.	CBSE	2006	DBLP DOI BibTeX RDF
1	Bernhard Steffen, Tiziana Margaria, Ralf Nagel, Sven Jörges, Christian Kubczak	Model-Driven Development with the jABC.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
1	Hassan Gomaa	A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines.	MoDELS	2006	DBLP DOI BibTeX RDF	real-time systems, software architecture, software product lines, software design, software modeling
1	Dongwan Shin, Andreas Gerstlauer, Rainer Dömer, Daniel D. Gajski	Automatic network generation for system-on-chip communication design.	CODES+ISSS	2005	DBLP DOI BibTeX RDF	system level design, communication synthesis
1	Valeriy Vyatkin, Hans-Michael Hanisch	Reuse of components in formal modeling and verification of distributed control systems.	ETFA	2005	DBLP DOI BibTeX RDF
1	Edward A. Lee, Haiyang Zheng	Operational Semantics of Hybrid Systems.	HSCC	2005	DBLP DOI BibTeX RDF
1	Antoine Spicher, Olivier Michel	Using Rewriting Techniques in the Simulation of Dynamical Systems: Application to the Modeling of Sperm Crawling.	International Conference on Computational Science	2005	DBLP DOI BibTeX RDF
1	Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc	UML4SPM: A UML2.0-Based Metamodel for Software Process Modelling.	MoDELS	2005	DBLP DOI BibTeX RDF	SP Metamodel, MDD, Software Process Modelling, Process Modelling Languages
1	Olaf Kath, Andrei Blazarenas, Marc Born, Klaus-Peter Eckert, Motohisa Funabashi, Chiaki Hirai	Towards Executable Models: Transforming EDOC Behavior Models to CORBA and BPEL.	EDOC	2004	DBLP DOI BibTeX RDF
1	Xi Chen, Yan Luo, Harry Hsieh, Laxmi N. Bhuyan, Felice Balarin	Utilizing Formal Assertions for System Design of Network Processors.	DATE	2004	DBLP DOI BibTeX RDF
1	Prabhat Mishra, Nikil D. Dutt	Functional Validation of Programmable Architectures.	DSD	2004	DBLP DOI BibTeX RDF
1	Yuefeng Zhang	Test-Driven Modeling for Model-Driven Development.	IEEE Software	2004	DBLP DOI BibTeX RDF	model-driven development, extreme programming, test-driven development, automatic code generation
1	Jean Bézivin, Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer	OCL and Model Driven Engineering.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
1	Risto Pitkänen, Petri Selonen	A UML Profile for Executable and Incremental Specification-Level Modeling.	UML	2004	DBLP DOI BibTeX RDF
1	Sudipto Ghosh, Robert B. France, Conrad Braganza, Nilesh Kawane, Anneliese Amschler Andrews, Orest Pilskalns	Test Adequacy Assessment for UML Design Model Testing.	ISSRE	2003	DBLP DOI BibTeX RDF	category partitioning, UML, software testing, class diagram, test adequacy criteria, design reviews, collaboration diagram
1	José Meseguer	Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design.	MEMOCODE	2003	DBLP DOI BibTeX RDF
1	Dean Rosenzweig, Davor Runje, Neva Slani	Privacy, Abstract Encryption and Protocols: An ASM Model - Part I.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
1	Guy Camilleri, Jean-Luc Soubie, Joseph Zalaket	TMMT: Tool Supporting Knowledge Modelling.	KES	2003	DBLP DOI BibTeX RDF
1	Gianluca Palermo, Cristina Silvano, Vittorio Zaccaria	A Flexible Framework for Fast Multi-objective Design Space Exploration of Embedded Systems.	PATMOS	2003	DBLP DOI BibTeX RDF
1	Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Carolyn L. Talcott	Pathway Logic: Executable Models of Biological Networks.	Electr. Notes Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Robert John Walters	A Graphically Based Language for Constructing, Executing and Analysing Models of Software Systems.	COMPSAC	2002	DBLP DOI BibTeX RDF
1	Ahmed Amine Jerraya, Sungjoo Yoo, Aimen Bouchhima, Gabriela Nicolescu	Validation in a Component-Based Design Flow for Multicore SoCs.	ISSS	2002	DBLP DOI BibTeX RDF	validation, SoC, abstraction levels, component-based design, cosimulation
1	Yuri Gurevich	Invited Talk: ASM Formalware in the Software Engineering Cycle.	AMAST	2000	DBLP DOI BibTeX RDF
1	Michael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes	Using Abstract State Machines at Microsoft: A Case Study.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
1	Gerd Jochens, Lars Kruse, Eike Schmidt, Ansgar Stammermann, Wolfgang Nebel	Power Macro-Modelling for Firm-Macro.	PATMOS	2000	DBLP DOI BibTeX RDF
1	Gabor Karsai	Structured Specification of Model Interpreters.	ECBS	1999	DBLP DOI BibTeX RDF	Software synthesis, model-integrated computing
1	Laurent Thomas, Thomas Lambolais, Renaud Lesiour	Architectural Techniques for the Description and Validation of Distributed Real-Time Systems.	ISORC	1999	DBLP DOI BibTeX RDF
1	Giorgio De Michelis	Net Theory and Workflow Models (abstract).	ICATPN	1999	DBLP DOI BibTeX RDF
1	Lee W. Wagenhals, Insub Shin, Alexander H. Levis	Creating Executable Models of Influence Nets with Colored Petri Nets.	STTT	1998	DBLP DOI BibTeX RDF	Influence nets, Bayesian nets, Course of action, Colored Petri nets, High-level Petri nets, Discrete event dynamical systems
1	Reinhold Plösch	Tool Support for Design by Contract.	TOOLS	1998	DBLP DOI BibTeX RDF	Requirements Engineering, Prototyping, Python, Design by Contract, Behavioral specifications
1	David W. Oliver	Staffing and organization in the engineering of systems.	ECBS	1997	DBLP DOI BibTeX RDF	engineering of systems, model based systems engineering, IEEE ECBS, INCOSE, technical process, management process, business reengineering, abstractions, culture, organization, systems engineering, psychology, staffing, IEEE standards, anthropology
1	David W. Oliver	Creating Object Models - Design and Architecture .	ECBS	1996	DBLP DOI BibTeX RDF	System Engineering Process, Automated Search of Solution Space, System design, System architecture
1	José Parets-Llorca, Juan Carlos Torres	Software Maintenance versus Software Evolution: An Approach to Software Systems Evolution.	ECBS	1996	DBLP DOI BibTeX RDF	information systems, software maintenance, software evolution, complex systems, software development methods
1	Daniel Gaudrau, Paul Freedman	Temporal Analysis and Object-Oriented Real-Time Software Development: A Case Study with ROOM/ObjecTime. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF
1	George Krasovec, Mark Baker, Serban Gheorghe	Target tracking: a real-time object oriented design experiment.	ICECCS	1995	DBLP DOI BibTeX RDF	sonar tracking, real-time object oriented design experiment, tool sets, Real-Time Object Oriented Modeling technique, real-time distributed applications, state-intensive real-time distributed computer-based systems, distributed concurrent processing, ROOM methodology, fault tolerance, real-time systems, object-oriented programming, distributed processing, software tools, software quality, software fault tolerance, real-time applications, target tracking, target tracking, real-time performance, life cycle costs
1	Jon Atle Gulla, Geir Willumsen	Using Explanations to Improve the Validation of Executable Models	CAiSE	1993	DBLP DOI BibTeX RDF
1	Maximo H. Salinas, Barry W. Johnson, James H. Aylor	Implementation-Independent Model of an Instruction Set Architecture in VHDL.	IEEE Design & Test of Computers	1993	DBLP DOI BibTeX RDF
1	John A. Zinky, Joshua Etkin	Troubleshooting Throughput Bottlenecks Using Executable Models.	Computer Networks and ISDN Systems	1992	DBLP DOI BibTeX RDF
1	Daniel Hoffman, Richard T. Snodgrass	Trace Specifications: Methodology and Models.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	trace specification language, trace specification methodology, specification consistency, executable prototypes, formal specification, formal specification, specification languages
1	S. Lee	On Executable Models for Rule-Based Prototyping.	ICSE	1985	DBLP BibTeX RDF