Object-oriented software engineering
Object-oriented software engineering
Object-oriented modeling and design
Object-oriented modeling and design
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Automatic synthesis of state machines from trace diagrams
Software—Practice & Experience
Interactive visualization of design patterns can help in framework understanding
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Scene: using scenario diagrams and active text for illustrating object-oriented programs
Proceedings of the 18th international conference on Software engineering
From Scenarios to Timed Automata: Building Specifications from Users Requirements
APSEC '95 Proceedings of the Second Asia Pacific Software Engineering Conference
Inference of message sequence charts
Proceedings of the 22nd international conference on Software engineering
MAS — an interactive synthesizer to support behavioral modelling in UML
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Summary report of the OOPSLA 2000 workshop on scenario-based round-trip engineering
ACM SIGSOFT Software Engineering Notes
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Dynamic analysis for reverse engineering and program understanding
ACM SIGAPP Applied Computing Review
Automated abstraction of class diagrams
ACM Transactions on Software Engineering and Methodology (TOSEM)
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
A Scenario-Driven Approach to Trace Dependency Analysis
IEEE Transactions on Software Engineering
A Formal Approach to Heterogeneous Software Modeling
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Smart Play-out of Behavioral Requirements
FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
Representing Embedded System Sequence Diagrams as a Formal Language
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Synthesizing State-Based Object Systems from LSC Specifications
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
Inference of Message Sequence Charts
IEEE Transactions on Software Engineering
Bridging models across the software lifecycle
Journal of Systems and Software - Special issue: Best papers on Software Engineering from the SEKE'01 Conference
Temporal interaction diagrams for multi-process environments
Practicing software engineering in the 21st century
Revisiting Statechart Synthesis with an Algebraic Approach
Proceedings of the 26th International Conference on Software Engineering
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology (TOSEM)
System architecture: the context for scenario-based model synthesis
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Automated Prototyping of User Interfaces Based on UML Scenarios
Automated Software Engineering
Automatic Synthesis Of Behavioral Object Specifications From Scenarios
Journal of Integrated Design & Process Science
Synthesis of system state models
ACM SIGPLAN Notices
Tools for analyzing intelligent agent systems
Web Intelligence and Agent Systems
Detecting implied scenarios analyzing non-local branching choices
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Understanding existing software with use case map scenarios
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
The reliability estimation, prediction and measuring of component-based software
Journal of Systems and Software
Automated interpretation of agent behaviour
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
Hi-index | 0.00 |
A basic problem of software development is how to derive executable software components from requirements, and how this process could be systematized. The object-oriented approach provides a common paradigm throughout the software development process from analysis to implementation, enabling a smooth shift from one phase to another and use of a wide spectrum of tools. Current object-oriented CASE tools support various graphical notations for modeling an application from different perspectives, for consistency checking between models, for storing models in a repository, and for generating documents and code from models. However, the level of built-in automation is relatively low as far as the actual development process is concerned. In object-oriented analysis and design, or OOAD, dynamic modeling aims at specifying the dynamic behavior of objects. For an object whose role is to control other objects, specification of its dynamic behavior can often be given in the form of a finite-state machine. A simple state machine consists of states associated with actions, and transitions associated with events. The actions of a state are executed when this state becomes the object's current state.