|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 727 occurrences of 366 keywords
|
|
|
Results
Found 686 publication records. Showing 686 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Franck Barbier |
Supporting the UML State Machine Diagramsat Runtime. |
ECMDA-FA |
2008 |
DBLP DOI BibTeX RDF |
UML, Statecharts, model executability |
16 | Il-Yeol Song, Ki Jung Lee |
Developing State Diagrams Using a State Specialization Technique. |
ER Workshops |
2007 |
DBLP DOI BibTeX RDF |
State Specialization, State Identification Methods, Unified Modeling Language, Statecharts, State Diagram |
16 | Giancarlo Fortino, Alfredo Garro, Wilma Russo |
From modeling to enactment of distributed workflows: an agent-based approach. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
distilled statecharts, multi agent systems, workflow patterns |
16 | Martin Mutz |
Metriken und Regeln für eine zustandsbasierte SW-Entwicklung im Automobilbereich. |
Inform. Forsch. Entwickl. |
2005 |
DBLP DOI BibTeX RDF |
Modelling guidelines, Rule checker, UML, Software metrics, Statecharts, Automotive |
16 | Aline Lúcia Baroni |
Quantitative assessment of UML dynamic models. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
UML meta-model, UML models (use cases, activity, sequence, collaboration, communication), estimation, statecharts, OCL, behavioral models, formalization, dynamic models, object-oriented design metrics |
16 | Annette Bunker, Ganesh Gopalakrishnan, Sally A. McKee |
Formal hardware specification languages for protocol compliance verification. |
ACM Trans. Design Autom. Electr. Syst. |
2004 |
DBLP DOI BibTeX RDF |
Heterogeneous Hardware Logic, Hierarchical Annotated Action Diagrams, Lava, Objective VHDL, OpenVera, SpecC, Specification and Description Language, The Unified Modeling Language, Java, Statecharts, SystemC, Message Sequence Charts, Esterel, Live Sequence Charts, timing diagrams, hardware monitors, SystemVerilog, e, Property Specification Language |
16 | Jie Xing, Munindar P. Singh |
Engineering commitment-based multiagent systems: a temporal logic approach. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
operational semantics, statecharts, commitments, behavior models |
16 | Giancarlo Fortino, Franco Frattolillo, Wilma Russo, Eugenio Zimeo |
Mobile Active Object for Highly Dynamic Distributed Computing. |
IPDPS |
2002 |
DBLP DOI BibTeX RDF |
Multi paradigm, Java, Middleware, Statecharts, Code mobility |
16 | Rajeev Alur, Mihalis Yannakakis |
Model checking of hierarchical state machines. |
ACM Trans. Program. Lang. Syst. |
2001 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, statecharts, Hierarchical state machines |
16 | Jie Xing, Munindar P. Singh |
Formalization of commitment-based agent interaction. |
SAC |
2001 |
DBLP DOI BibTeX RDF |
temporal logic, multi agent, operational semantics, statecharts, commitments |
16 | Alaa Ibrahim, Hany H. Ammar, Sherif M. Yacoub |
A Fault Model for Fault Injection Analysis of Dynamic UML Dynamic Specifications. |
ISSRE |
2001 |
DBLP DOI BibTeX RDF |
Verification an Validation, UML and statecharts, Fault Model, Fault Injection |
16 | Yolanda González Arechavala, Fernando de Cuadra García |
MODUS: Integrated Behavior-Oriented Model for Rapid Prototyping. |
IEEE International Workshop on Rapid System Prototyping |
2000 |
DBLP DOI BibTeX RDF |
software engineering, real-time systems, rapid prototyping, statecharts, safety-critical systems, CASE tools, integrated development environment, software development methods |
16 | Myung-Hwan Park, Ki-Seok Bang, Jin-Young Choi, Inhye Kang |
Equivalence Checking of Two Statechart Specifications. |
IEEE International Workshop on Rapid System Prototyping |
2000 |
DBLP DOI BibTeX RDF |
ACSR, Weak equivalence, Formal verification, Statecharts |
16 | Hans J. Köhler, Ulrich Nickel 0002, Jörg Niere, Albert Zündorf |
Integrating UML diagrams for production control systems. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
UML, UML, embedded systems, statecharts, SDL, graph grammars, collaboration diagrams |
16 | I. D. Bates, E. Graeme Chester, David J. Kinniment |
A statechart based HW/SW codesign system. |
CODES |
1999 |
DBLP DOI BibTeX RDF |
CFSMs, POLIS, statecharts |
16 | William Chan 0001, Richard J. Anderson, Paul Beame, Steve Burns 0002, Francesmary Modugno, David Notkin, Jon Damon Reese |
Model Checking Large Software Specifications. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
state-based specifications, Formal methods, requirements, binary decision diagrams, statecharts, software verification, symbolic model checking |
16 | Thomas Müller-Wipperfürth, Richard Hagelauer |
Graphical Entry of FSMDs Revisited: Putting Graphical Models on a Solid Base. |
DATE |
1998 |
DBLP DOI BibTeX RDF |
FSMD, VHDL, Statecharts, Graphical Modelling |
16 | William Chan 0001, Richard J. Anderson, Paul Beame, David Notkin |
Improving Efficiency of Symbolic Model Checking for State-Based System Requirements. |
ISSTA |
1998 |
DBLP DOI BibTeX RDF |
TCAS II, partitioned transition relation, system requirements specification, formal verification, abstraction, binary decision diagrams, statecharts, reachability analysis, symbolic model checking, RSML |
16 | Jin Ma, Sheng Yu 0001 |
Practical Rules for Reduction on the Number of States of a State Diagram. |
TOOLS (26) |
1998 |
DBLP DOI BibTeX RDF |
UML, events, statecharts, finite automata, Object-oriented modeling, states, conditions, OMT |
16 | Kyo Chul Kang, Kwang-Il Ko |
Formalization and Verification of Safety Properties of Statechart Specifications. |
APSEC |
1996 |
DBLP DOI BibTeX RDF |
real-time system, temporal logic, Statecharts, safety property, specification technique, reachability graph |
16 | Amir Pnueli |
How Vital is Liveness? Verifying Timing Properties of Reactive and Hybrid Systems (Extended Abstract). |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
discrete and continuous systems, Real-time, fairness, hybrid systems, Statecharts, Liveness, timed transitions system, justice |
16 | Jonah Z. Lavi, Michael Winokur |
Development of a Method Driven CAS2E Tool. |
Software Development Environments and CASE Technology |
1991 |
DBLP DOI BibTeX RDF |
ECSAM, Embedded Computer Systems, Multi-systems, Design, Specification, Requirements, Software, Dynamic, Systems, Statecharts, Reactive Systems, CASE, Executable specifications, Computer Based Systems Engineering, Event Driven Systems, Statemate |
16 | Cornelis Huizing, Rob Gerth |
Semantics of Reactive Systems in Abstract Time. |
REX Workshop |
1991 |
DBLP DOI BibTeX RDF |
Real-time, semantics, specification, Statecharts, reactive systems |
10 | Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan-Hendrik Rakow, Ralf Wimmer 0001, Bernd Becker 0001 |
Compositional Dependability Evaluation for STATEMATE. |
IEEE Trans. Software Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Denis Dubé, Jacob Beard, Hans Vangheluwe |
Rapid Development of Scoped User Interfaces. |
HCI (1) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Edgar G. Daylight, Sandeep K. Shukla |
On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study. |
FM |
2009 |
DBLP DOI BibTeX RDF |
adaptability, non-functional requirements, formal specification languages, local reasoning |
10 | Armin Heindl, Gilles Pokam |
Modeling software transactional memory with AnyLogic. |
SimuTools |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Blaise Genest, Anca Muscholl |
Pattern Matching and Membership for Hierarchical Message Sequence Charts. |
Theory Comput. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Complexity, MSC, Hierarchical specifications |
10 | Dirk Seifert |
Conformance Testing Based on UML State Machines. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Eckard Böde, Thomas Peikenkamp, Jan-Hendrik Rakow, Samuel Wischmeyer |
Model Based Importance Analysis for Minimal Cut Sets. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Jun Kong, Dianxiang Xu |
A UML-Based Framework for Design and Analysis of Dependable Software. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Nikolaos I. Spanoudakis, Pavlos Moraitis |
An Agent Modeling Language Implementing Protocols through Capabilities. |
IAT |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Nikolaos I. Spanoudakis, Pavlos Moraitis |
The Agent Modeling Language (AMOLA). |
AIMSA |
2008 |
DBLP DOI BibTeX RDF |
Tools and methodologies for multi-agent software systems, Multi-agent systems |
10 | Shahar Maoz |
Model-Based Traces. |
MoDELS (Workshops) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Youcef Hammal |
A modular state exploration and compatibility checking of UML dynamic diagrams. |
AICCSA |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Grégoire Hamon, John M. Rushby |
An operational semantics for Stateflow. |
Int. J. Softw. Tools Technol. Transf. |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Simon Pickin 0001, Claude Jard, Thierry Jéron, Jean-Marc Jézéquel, Yves Le Traon |
Test Synthesis from UML Models of Distributed Software. |
IEEE Trans. Software Eng. |
2007 |
DBLP DOI BibTeX RDF |
Formal methods, testing tools, object-oriented design methods |
10 | Ian Toyn, Andy Galloway |
Formal Validation of Hierarchical State Machines against Expectations. |
ASWEC |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Thomas Huining Feng, Miriam Zia, Hans Vangheluwe |
Multi-formalism modelling and model transformation for the design of reactive systems. |
SCSC |
2007 |
DBLP BibTeX RDF |
computer automated multi-paradigm modelling (CAMPaM), modelling and simulation based design, model transformation |
10 | Carsten Amelunxen, Elodie Legros, Andy Schürr, Ingo Stürmer |
Checking and Enforcement of Modeling Guidelines with Graph Transformations. |
AGTIVE |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Ryan Voigt, Kareem Fazal, Hassan Reza |
Specification-based Testing Method Using Testing Flow Graphs. |
ICSEA |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg |
Model Checking Hybrid Multiagent Systems for the RoboCup. |
RoboCup |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg |
Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking. |
PROMAS |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Herbert Prähofer, Dominik Hurnaus, Christian Wirth 0002, Hanspeter Mössenböck |
The Domain-Specific Language Monaco and its Visual Interactive Programming Environment. |
VL/HCC |
2007 |
DBLP DOI BibTeX RDF |
Automation control, domain-specific language, visual programming, visual language, end-user programming |
10 | Jeanette Heidenberg, Andreas Nåls, Ivan Porres |
Statechart Features and Pre-Release Defects in Software Maintenance. |
VL/HCC |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Samar Mouchawrab, Lionel C. Briand, Yvan Labiche |
Assessing, Comparing, and Combining Statechart- based testing and Structural testing: An Experiment. |
ESEM |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Ayaz Isazadeh, Jaber Karimpour, Hosein Isazadeh |
A New Method for Describing the Syntax and Semantics of VIEWCHARTS. |
ISPA Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Abdelouahed Gherbi, Ferhat Khendek |
Consistency of UML/SPT Models. |
SDL Forum |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Youssef Gamha, Nacéra Bennacer, Lotfi Ben Romdhane, Guy Vidal-Naquet, Béchir el Ayeb |
A Statechart-Based Model for the Semantic Composition of Web Services. |
IEEE SCW |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Jochen Malte Küster |
Definition and validation of model transformations. |
Softw. Syst. Model. |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Angelo Furfaro, Libero Nigro, Francesco Pupo |
Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines. |
Real Time Syst. |
2006 |
DBLP DOI BibTeX RDF |
real-time constrains, Java, prototyping, assertions, integrated development environment, hierarchical state machines, modular modelling |
10 | Dan Barak, David Harel, Rami Marelly |
InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
InterPlay, play-engine, intraobject, interobject, transition to design, Modeling methodologies, LSCs, scenario-based programming |
10 | Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard |
Generating optimized code from SCR specifications. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
optimization, formal specifications, code generation, requirements specifications, SCR, code synthesis |
10 | Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander B. Romanovsky, Avelino F. Zorzo |
CAA-DRIP: a framework for implementing Coordinated Atomic Actions. |
ISSRE |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Kai Lampka, Markus Siegle |
Analysis of Markov reward models using zero-suppressed multi-terminal BDDs. |
VALUETOOLS |
2006 |
DBLP DOI BibTeX RDF |
performance evaluation tool, symbolic data structure, Markov chain, discrete event systems, numerical solution |
10 | Lihua Xu, Scott A. Hendrickson, Eric Hettwer, Hadar Ziv, André van der Hoek, Debra J. Richardson |
Towards supporting the architecture design process through evaluation of design alternatives. |
ROSATEA |
2006 |
DBLP DOI BibTeX RDF |
simulation, analysis, non-functional requirements, software architecture design, state charts, aspect-oriented design |
10 | Minmin Han, Christine Hofmeister |
Modeling and verification of adaptive navigation in web applications. |
ICWE |
2006 |
DBLP DOI BibTeX RDF |
web application, navigation model, adaptive navigation |
10 | Gabor Karsai, Anantha Narayanan |
Towards Verification of Model Transformations Via Goal-Directed Certification. |
ASWSD |
2006 |
DBLP DOI BibTeX RDF |
Behavior Preservation, Weak Bisimulation, Semantic Anchoring, Bisimulation |
10 | Sachoun Park, Gihwon Kwon |
Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model. |
ICCSA (5) |
2006 |
DBLP DOI BibTeX RDF |
Model checking, Dependency analysis, Model reduction, State explosion problem |
10 | Fredrik Kronlid |
Turn Taking for Artificial Conversational Agents. |
CIA |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Luís Gomes 0001, Anikó Costa |
Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams. |
ETFA |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Boualem Benatallah, Marlon Dumas, Quan Z. Sheng |
Facilitating the Rapid Development and Scalable Orchestration of Composite Web Services. |
Distributed Parallel Databases |
2005 |
DBLP DOI BibTeX RDF |
dynamic provider selection, peer-to-peer interaction, Web service, Web service composition, statechart, Web service orchestration |
10 | Jonah Z. Lavi, Joseph Kudish |
Systems modeling & requirements specification using ECSAM: an analysis method for embedded & computer-based systems. |
Innov. Syst. Softw. Eng. |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Rajeev Alur, Michael Benedikt, Kousha Etessami, Patrice Godefroid, Thomas W. Reps, Mihalis Yannakakis |
Analysis of recursive state machines. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
recursive state machines, model checking, temporal logic, program analysis, Software verification, context-free languages, pushdown automata |
10 | Steven Nordstrom, Shweta Shetty, Di Yao 0005, Shikha Ahuja, Sandeep Neema, Ted Bapty |
The Action Language: Refining a Behavioral Modeling Language. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Franck Chauvel, Jean-Marc Jézéquel |
Code Generation from UML Models with Semantic Variation Points. |
MoDELS |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Mark Mahoney |
Modeling Reactive Systems and Aspect-Orientation. |
MoDELS (Satellite Events) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Claudia Täubner, Till Merker |
Discrete Modelling of the Ethylene-Pathway. |
ICDE Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang 0001, Wei Dong 0006 |
Improvements Towards Formalizing UML State Diagrams in CSP. |
APSEC |
2005 |
DBLP DOI BibTeX RDF |
|
10 | David Harel, Hillel Kugler, Amir Pnueli |
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements. |
Formal Methods in Software and Systems Modeling |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Iris Reinhartz-Berger |
Conceptual Modeling of Structure and Behavior with UML - The Top Level Object-Oriented Framework (TLOOF) Approach. |
ER |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Christophe Sibertin-Blanc, Omar Tahir, Janette Cardoso |
Interpretation of UML Sequence Diagrams as Causality Flows. |
ISSADS |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Lionel C. Briand, Yvan Labiche, Q. Lin |
Improving Statechart Testing Criteria Using Data Flow Information. |
ISSRE |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Luís Gomes 0001, Anikó Costa |
Teaching Formal Methods Within System-on-a-Programmable-Chip Design. |
MSE |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Grégoire Hamon |
A denotational semantics for stateflow. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
compilation, continuations, denotational semantics, Stateflow |
10 | Angelo Furfaro, Libero Nigro |
Model checking hierarchical communicating real-time state machines. |
ETFA |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Frédéric Fondement, Thomas Baar |
Making Metamodels Aware of Concrete Syntax. |
ECMDA-FA |
2005 |
DBLP DOI BibTeX RDF |
Concrete Syntax Description, UML, Metamodeling, Visual Languages, OCL, MOF |
10 | Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay |
Termination Criteria for Model Transformation. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Rajeev Alur, Radu Grosu |
Modular refinement of hierarchic reactive machines. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
refinement, compositional semantics, assume-guarantee reasoning, Hierarchical state machines |
10 | Jonah Z. Lavi, Joseph Kudish |
Systems Modeling & Requirements Specification Using ECSAM: A Method for Embedded Computer-Based Systems Analysis. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Richard Bosworth |
Automatic Proofs for Scalecharts. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Paul Mason, Ken Cosh, Pulyamon Vihakapirom |
On structuring formal, semi-formal and informal data to support traceability in systems engineering environments. |
CIKM |
2004 |
DBLP DOI BibTeX RDF |
systems engineering data, traceability, meta-modelling |
10 | João Paulo Barros, Luís Gomes 0001 |
On the Use of Coloured Petri Nets for Object-Oriented Design. |
ICATPN |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Bernhard Kaiser, Catharina Gramlich |
State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Joost Jacob |
A Rule Markup Language and Its Application to UML. |
ISoLA |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Rakesh Shukla, David A. Carrington, Paul A. Strooper |
Systematic Operational Profile Development for Software Components. |
APSEC |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Satyajit Acharya, Chris George, Hrushikesha Mohanty |
Specifying a Mobile Computing Infrastructure and Services. |
ICDCIT |
2004 |
DBLP DOI BibTeX RDF |
Mobicharts, Mobile Computing, Testing, Specification, RSL |
10 | Jin Hyun Kim, Su-Young Lee 0001, Young Ah Ahn, Jae-Hwan Sim, Jin Seok Yang, Na-Young Lee, Jin-Young Choi |
Development of RTOS for PLC Using Formal Methods. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Holger Giese, Sven Burmester, Wilhelm Schäfer, Oliver Oberschelp |
Modular design and verification of component-based mechatronic systems with online-reconfiguration. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
unified modelling language (UML), real-time, components, reconfiguration, hybrid systems |
10 | Sven Burmester, Matthias Gehrke, Holger Giese, Simon Oberthür |
Making mechatronic agents resource-aware in order to enable safe dynamic resource allocation. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
real-time systems, dynamic resource allocation, resource awareness |
10 | Giancarlo Fortino, Alfredo Garro, Wilma Russo |
From Modeling to Simulation of Multi-agent Systems: An Integrated Approach and a Case Study. |
MATES |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke |
Formal Verification of LSCs in the Development Process. |
SoftSpez Final Report |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Andrzej Wasowski |
Automatic Generation of Program Families by Model Restrictions. |
SPLC |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Hassan Gomaa |
Designing Software Product Lines with the Unified Modeling Language (UML). |
SPLC |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Vincent Hilaire, Olivier Simonin 0001, Abder Koukam, Jacques Ferber |
A Formal Approach to Design and Reuse Agent and Multiagent Models. |
AOSE |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Grégoire Hamon, John M. Rushby |
An Operational Semantics for Stateflow. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Mikael Berndtsson, Bengt Calestam |
Graphical notations for active rules in UML and UML-A. |
ACM SIGSOFT Softw. Eng. Notes |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Jianwei Niu 0001, Joanne M. Atlee, Nancy A. Day |
Template Semantics for Model-Based Notations. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
Model-based specification notations, automated generation of analysis tools, semantics, concurrency, composition |
10 | Nguyen Truong Thang, Takuya Katayama |
Dynamic Behavior and Protocol Models for Incremental Changes among a Set of Collaborative Objects. |
IWPSE |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Jim Davies, Charles Crichton |
Using State Diagrams to Describe Concurrent Behaviour. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 686 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|