A UML statecharts semantics with message-passing
Proceedings of the 2002 ACM symposium on Applied computing
Automating Support for Software Evolution in UML
Automated Software Engineering
Towards Development of Secure Systems Using UMLsec
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
An ASM Semantics for UML Activity Diagrams
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Towards Ontological Foundations for UML Conceptual Models
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
A Specification Model for Interface Suites
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Towards Ontologically Based Semantics for UML Constructs
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Equivalence Problem of Composite Class Diagrams
FCT '01 Proceedings of the 13th International Symposium on Fundamentals of Computation Theory
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Formal semantics for interacting UML subsystems
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Visualization of Formal Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Dependency Relations between Models in the Unified Process
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Evaluating UML using a generic quality framework
UML and the unified process
Forward engineering and UML: from UML static models to Eiffel code
UML and the unified process
Specification and checking of dependency relations between UML models
UML and the unified process
Where are the semantics in the semantic web?
AI Magazine
Events as atomic contracts for component integration
Data & Knowledge Engineering - Special issue: Contract-driven coordination and collaboration in the internet context
Algebraic reasoning for object-oriented programming
Science of Computer Programming - Special issue on program transformation
Formal interpreters for diagram notations
ACM Transactions on Software Engineering and Methodology (TOSEM)
Toward Formalizing Domain Modeling Semantics in Language Syntax
IEEE Transactions on Software Engineering
A practical pattern recovery approach based on both structural and behavioral analysis
Journal of Systems and Software - Special issue: Software engineering education and training
A discrete-time UML semantics for concurrency and communication in safety-critical applications
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Ten commandments revisited: a ten-year perspective on the industrial application of formal methods
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Using Alloy to model-check visual design notations
ENC '05 Proceedings of the Sixth Mexican International Conference on Computer Science
Reasoning on UML class diagrams
Artificial Intelligence
A UML model consistency verification approach based on meta-modeling formalization
Proceedings of the 2006 ACM symposium on Applied computing
A meta-model semantics for structural constraints in ODP computational language
SMO'06 Proceedings of the 6th WSEAS International Conference on Simulation, Modelling and Optimization
A meta-model syntax for structural constraints in ODP enterprise language
SMO'06 Proceedings of the 6th WSEAS International Conference on Simulation, Modelling and Optimization
A Formal Descriptive Semantics of UML
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Formal automated analysis of object oriented software models
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Rigorous Approach to UML-Based Development
Electronic Notes in Theoretical Computer Science (ENTCS)
An ASM semantics of UML derived from the meta-model and incorporating actions
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Comparison of formalisation approaches of UML class constructs in Z and object-Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
A formal approach to collaborations in 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
Correct realizations of interface constraints with OCL
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Meta-modelling syntax and semantics of structural concepts for open networked enterprises
ICCSA'07 Proceedings of the 2007 international conference on Computational science and its applications - Volume Part III
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
OCL for the ODP information viewpoint specifications
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
A manifesto for semantic model differencing
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
CDDiff: semantic differencing for class diagrams
Proceedings of the 25th European conference on Object-oriented programming
Proceedings of the 25th European conference on Object-oriented programming
Semantically configurable consistency analysis for class and object diagrams
Proceedings of the 14th international conference on Model driven engineering languages and systems
CD2Alloy: class diagrams analysis using alloy revisited
Proceedings of the 14th international conference on Model driven engineering languages and systems
A formal semantics of UML statecharts by means of timed petri nets
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Transformation laws for UML-RT
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Generating class contracts from deterministic UML protocol statemachines
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Formal specifications of software design methods
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
A graph grammar-based formal validation of object-process diagrams
Software and Systems Modeling (SoSyM)
Software and Systems Modeling (SoSyM)
3D architecture viewpoints on service automation
Journal of Systems and Software
Hi-index | 0.00 |