Formal techniques for data base design
Formal techniques for data base design
Statecharts: A visual formalism for complex systems
Science of Computer Programming
The practical guide to structured systems design: 2nd edition
The practical guide to structured systems design: 2nd edition
Object-oriented systems analysis: modeling the world in data
Object-oriented systems analysis: modeling the world in data
Object-oriented analysis
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Graphical specification of object oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
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
Lessons from Hewlett-Packard's experience of using object-oriented technology
TOOLS 4 Proceedings of the fourth international conference on Technology of object-oriented languages and systems
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design
IEEE Transactions on Software Engineering
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
SIGCPR '93 Proceedings of the 1993 conference on Computer personnel research
Selective Multiple Inheritance
IEEE Software
M.E.R.O.DE.: a model-driven entity-relationship object-oriented Development method
ACM SIGSOFT Software Engineering Notes
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
ObjChart: Tangible Specification of Reactive Object Behavior
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Towards a real-time object-oriented modeling approach
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Development productivity for commercial software using object-oriented methods
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Object-Oriented Modeling and Automated Analysis of a Telemedicine Application
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Reasoning on UML class diagrams
Artificial Intelligence
An object-oriented development method for Customer Knowledge Management Information Systems
Knowledge-Based Systems
A conceptual model for negotiating in service-oriented environments
Information Processing Letters
Reasoning on UML class diagrams
Artificial Intelligence
A navigational data model for object modeling technique development environment
Information Sciences: an International Journal
Hi-index | 0.00 |