Verification support for workflow design with UML activity graphs
Proceedings of the 24th International Conference on Software Engineering
Techniques for Reactive System Design: The Tools in TRADE
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Modeling aspect mechanisms: a top-down approach
Proceedings of the 28th international conference on Software engineering
Addressing problem frame concerns via coloured petri nets and graphical animation
Proceedings of the 2006 international workshop on Advances and applications of problem frames
A case study of coloured Petri nets in object-oriented analysis and design
Nordic Journal of Computing
COSMO: A conceptual framework for service modelling and refinement
Information Systems Frontiers
The intentional relationship of representation between the constructs of a language and reality
Data & Knowledge Engineering
Reconciling statechart semantics
Science of Computer Programming
On specifying systems that connect to the physical world
Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
Model Driven Performance Measurement and Assessment with MoDePeMART
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Aligning application architecture to the business context
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Reactive Petri nets for workflow modeling
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Conceptual application domain modelling
APCCM '09 Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96
Explaining architectural choices to non-architects
ECSA'10 Proceedings of the 4th European conference on Software architecture
Benefits of Location-Based Access Control: A Literature Study
GREENCOM-CPSCOM '10 Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications & Int'l Conference on Cyber, Physical and Social Computing
Real-world semantics of conceptual models
The evolution of conceptual modeling
Requirements and method for assessment of service interoperability
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Consistency between e3-value models and activity diagrams in a multi-perspective development method
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Towards a theory on the role of ontologies in software engineering problem solving
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Session initiation as a service
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Patterns to enable mass-customized business process monitoring
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Editorial: A complete set of guidelines for naming UML conceptual schema elements
Data & Knowledge Engineering
Guiding requirements engineering for software-intensive embedded systems in the automotive industry
Computer Science - Research and Development
| Hi-index | 0.00 |