Executable object modeling with statecharts
Proceedings of the 18th international conference on Software engineering
Business language analysis for object-oriented information systems
IBM Systems Journal
Constraint diagrams: visualizing invariants in object-oriented models
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Three dimensional software modelling
Proceedings of the 20th international conference on Software engineering
Software size measurement and productivity rating in a large-scale software development department
Proceedings of the 20th international conference on Software engineering
Exploiting Smalltalk modules in a customizable programming environment
Proceedings of the 21st international conference on Software engineering
Lightweight extraction of object models from bytecode
Proceedings of the 21st international conference on 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
Lightweight Extraction of Object Models from Bytecode
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Composition patterns: an approach to designing reusable aspects
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Logical Theory of Interfaces and Objects
IEEE Transactions on Software Engineering
A practical approach to combining requirements definition and object-oriented analysis
Annals of Software Engineering
Automated class testing using threaded multi-way trees to represent the behaviour of state machines
Annals of Software Engineering
Object modelling languages: An evaluation and some key expectations for the future
Annals of Software Engineering
Logic Control and “Reactive” Systems: Algorithmization and Programming
Automation and Remote Control
Mapping Procedural Patterns to Object-Oriented Design Patterns
Automated Software Engineering
Domain Modelling and the Co-Design of Business Rules in the Telecommunication Business Area
Information Systems Frontiers
Data & Knowledge Engineering
On Object Systems and Behavioral Inheritance
IEEE Transactions on Software Engineering
A formal approach to object-oriented software engineering
Theoretical Computer Science - Rewriting logic and its applications
From Play-In Scenarios to Code: An Achievable Dream
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
StateLator - Behavioral Code Generation as an Instance of a Model Transformation
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Formalizing Object-Oriented Models in the Object Calculus
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Experience with Formal Specification of CMM and UML
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Relationship Type Refinement in Conceptual Models with Multiple Classification
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
On the Expressive Power of OCL
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
ISpec: Towards Practical and Sound Interface Specifications
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
The Amsterdam Manifesto on OCL
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
OCL Based on New Presentation of the OCL-Syntax
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Relationship Reification: A Temporal View
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Object models as heap invariants
Programming methodology
Formalization of the Whole-Part Relationship in the Unified Modeling Language
IEEE Transactions on Software Engineering
Enhancing the Object Constraint Language for More Expressive Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Recording User Actions in a Smalltalk Programming Environment
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Separable UI Architectures in Teaching Object Technology
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Analysis by Contract or UML with Attitude
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
On the Behavioral Inheritance of State-Based Objects
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Traceability and Modularity in Software Design
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Sequence constraints in business modelling and business process modelling
Enterprise information systems IV
OCL-Based Automated Validation Method for UML Specifications
Programming and Computing Software
The algebraic structure of interfaces
Science of Computer Programming
Technical note: business function specification of commercial applications
IBM Systems Journal
Modeling events as entities in object-oriented conceptual modeling languages
Data & Knowledge Engineering - Special issue: ER 2004
rCOS: a refinement calculus of object systems
Theoretical Computer Science - Components and objects
Data & Knowledge Engineering - Special issue: ER 2003
Environmental Modelling & Software
Process-centered review of object oriented software development methodologies
ACM Computing Surveys (CSUR)
Object-oriented technologies for automated manufacturing systems development
International Journal of Computer Applications in Technology
CSP parallel composition of aspect models
Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling
Supporting the UML State Machine Diagrams at Runtime
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
On Component Identification Approaches --- Classification, State of the Art, and Comparison
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Electronic Notes in Theoretical Computer Science (ENTCS)
Transforming use case models to class models and OCL-specifications
International Journal of Computers and Applications
Derivation rules in object-oriented conceptual modeling languages
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Improving the reuse possibilities of the behavioral aspects of object-oriented domain models
ER'00 Proceedings of the 19th international conference on Conceptual modeling
A layered software specification architecture
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Business-oriented constraint language
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Statistical constraints for EAI
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
The UML family: profiles, prefaces and packages
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Extending OCL to include actions
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Part-whole statecharts for the explicit representation of compound behaviours
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
On the behavior of complex object-oriented systems
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Typechecking UML static models
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Spatio-temporal conceptual schema development for wide-area sensor networks
GeoS'07 Proceedings of the 2nd international conference on GeoSpatial semantics
Developing state diagrams using a state specialization technique
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Behavioural model for a business rules based approach to model services
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
Enhancing the semantics of UML association redefinition
Data & Knowledge Engineering
Generating operation specifications from UML class diagrams: A model transformation approach
Data & Knowledge Engineering
Aspect-oriented development using protocol modeling
Transactions on aspect-oriented software development VII
Real-world semantics of conceptual models
The evolution of conceptual modeling
Aspect-oriented development using protocol modeling
Transactions on aspect-oriented software development VII
Model to text transformation in practice: generating code from rich associations specifications
CoMoGIS'06 Proceedings of the 2006 international conference on Advances in Conceptual Modeling: theory and practice
The association construct in conceptual modelling – an analysis using the bunge ontological model
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Testing with guarantees and the failure of regression testing in extreme programming
XP'05 Proceedings of the 6th international conference on Extreme Programming and Agile Processes in Software Engineering
POST: a case study for an incremental development in rCOS
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
On the use of association redefinition in UML class diagrams
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Geospatial semantics: why, of what, and how?
Journal on Data Semantics III
A formal approach to design patterns in Re-engineering
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
The cause-effect rules of ROSES
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Modular semantics for object-oriented models
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Structured axiomatic semantics for UML models
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Hi-index | 0.00 |