Communications of the ACM
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Object-oriented software engineering
Object-oriented software engineering
Software requirements: objects, functions, and states
Software requirements: objects, functions, and states
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design
IEEE Transactions on Software Engineering
Object-oriented modeling and design
Object-oriented modeling and design
Real-time object-oriented modeling
Real-time object-oriented modeling
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Object oriented methods (2nd ed.)
Object oriented methods (2nd ed.)
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Prototyping in Industrial Software Projects-Bridging the Gap Between Theory and Practice
IEEE Transactions on Software Engineering
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
A classification of visual representations
Communications of the ACM
Executable object modeling with statecharts
Proceedings of the 18th international conference on Software engineering
Forcing behavioral subtyping through specification inheritance
Proceedings of the 18th international conference on Software engineering
The SCR method for formally specifying, verifying, and validating requirements: tool support
ICSE '97 Proceedings of the 19th international conference on Software engineering
Prototyping: does your view of its advantages depend on your job?
Journal of Systems and Software
Z: An Introduction to Formal Methods
Z: An Introduction to Formal Methods
System Requirements Engineering
System Requirements Engineering
Object-Oriented Analysis and Simulation
Object-Oriented Analysis and Simulation
Software Specification: A Comparison of Formal Methods
Software Specification: A Comparison of Formal Methods
Prototyping-Oriented Software Development: Concepts and Tools
Prototyping-Oriented Software Development: Concepts and Tools
Rapid Prototyping: Lessons Learned
IEEE Software
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
Proceedings of the Real-Time: Theory in Practice, REX Workshop
CHDL '93 Proceedings of the 11th IFIP WG10.2 International Conference sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC on Computer Hardware Description Languages and their Applications
Requirements for Telecommunications Services: An Attack on Complexity
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Experiences using statecharts for a system requirements specification
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
| Hi-index | 0.00 |