Statecharts: A visual formalism for complex systems
Science of Computer Programming
Fundamentals of software engineering
Fundamentals of software engineering
Real-time object-oriented modeling
Real-time object-oriented modeling
SOCCA: Specifications of Coordinated and Cooperative Activities
Software process modelling and technology
Information systems engineering: a formal approach
Information systems engineering: a formal approach
TROLL: a language for object-oriented specification of information systems
ACM Transactions on Information Systems (TOIS)
Proceedings of the 18th international conference on Software engineering
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
OPEN modeling language (OML) reference manual
OPEN modeling language (OML) reference manual
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
The Unified Modeling Language user guide
The Unified Modeling Language user guide
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
The unified software development process
The unified software development process
Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns
Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns
Communications of the ACM
UML 2001: a standardization odyssey
Communications of the ACM
Designing component-based frameworks using patterns in the UML
Communications of the ACM
Modeling Web application architectures with UML
Communications of the ACM
Checking progress with action priority: is it fair?
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Subject-oriented design: towards improved alignment of requirements, design, and code
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
A Discipline for Handling Feature Interaction
RTSE '97 Proceedings of the International Workshop on Requirements Targeting Software and Systems Engineering
Object-Oriented Specification of Databases: An Algebraic Approach
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Structural and Behavioural Views on OMT-Classes
ISOOMS '94 Proceedings of the International Symposium on Object-Oriented Methodologies and Systems
Extending UML for Modeling of Multimedia Applications
VL '99 Proceedings of the IEEE Symposium on Visual Languages
Extending architectural representation in UML with view integration
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
A comparison of the business object notation and the unified modeling language
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Core meta-modelling semantics of UML: the pUML approach
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Defining the context of OCL expressions
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Mixing visual and textual constraint languages
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
UML collaboration diagrams and their transformation to java
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Software engineering for security: a roadmap
Proceedings of the Conference on The Future of Software Engineering
A methodology for specifying and analyzing consistency of object-oriented behavioral models
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Towards Team-Automata-Driven Object-Oriented Collaborative Work
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Operational Semantics for Coordination in Paradigm
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Towards team-automata-driven object-oriented collaborative work
Formal and natural computing
A stakeholders centered approach for conceptual modeling of communication-intensive applications
Proceedings of the 23rd annual international conference on Design of communication: documenting & designing for pervasive information
ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
An object-oriented framework for simulating multi-echelon inventory systems
Proceedings of the 38th conference on Winter simulation
Consistent Interaction Of Software Components
Journal of Integrated Design & Process Science - Component-Based System Development
On the Modeling Timing Behavior of the System with UML(VR)
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part I
Integrated System Analysis Environment for the Continuous Consistency and Completeness Checking
Proceedings of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering
Industrial acceptability of web design methods: an empirical study
Journal of Web Engineering
The design and implementation of land-based target system for Korean destroyer combat systems
Proceedings of the 2008 Summer Computer Simulation Conference
| Hi-index | 0.00 |