Object-oriented modeling: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Alcoa: the alloy constraint analyzer
Proceedings of the 22nd international conference on Software engineering
Designing robust Java programs with exceptions
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Automating first-order relational logic
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Adaptations to OCL for ensuring quality of geographic data (poster session)
OOPSLA '00 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
The design of an OCL query-based debugger for C++
Proceedings of the 2001 ACM symposium on Applied computing
Techniques and language constructs for developing generic informations systems: a case study
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
Using OCL-queries for debugging C++
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Handling crosscutting constraints in domain-specific modeling
Communications of the ACM
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Modeling software architectures in the Unified Modeling Language
ACM Transactions on Software Engineering and Methodology (TOSEM)
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
A toolkit for weaving aspect oriented UML designs
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
Towards a standard design language for AOSD
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
Specifying and implementing the operational use of constraints in object-oriented applications
CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
Investigating the use of analysis contracts to support fault isolation in object oriented code
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Formal methods for distributed processing
Distributed component technologies and their software engineering implications
Proceedings of the 24th International Conference on Software Engineering
OPM/Web – Object-Process Methodology for Developing Web Applications
Annals of Software Engineering
Executing Formal Specifications with Concurrent Constraint Programming
Automated Software Engineering
Modular architecture for a toolset supporting OCL
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
Conceptual Modeling of Device-Independent Web Applications
IEEE MultiMedia
Making Components Contract Aware
Computer
A formal approach to object-oriented software engineering
Theoretical Computer Science - Rewriting logic and its applications
Using UML to specify QoS constraints in ODP
Computer Networks: The International Journal of Computer and Telecommunications Networking
Tool Support for Development Using Patterns
EDOC '01 Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing
A Formal Approach to Heterogeneous Software Modeling
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
Acquiring Configuration Knowledge Bases in the Semantic Web Using UML
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
The Metamodelling Language Calculus: Foundation Semantics for UML
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Introducing Context-Based Constraints
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
An Authoring Tool for Informal and Formal Requirements Specifications
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Enriching OCL Using Observational Mu-Calculus
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Engineering Modelling Languages: A Precise Meta-Modelling Approach
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
UML Aspect Specification Using Role Models
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
Generating Domain Models from Ontologies
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
Tool Support for Aspect-Oriented Design
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
Modeling Engineering Structures with Constrained Objects
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Model-Driven Product Line Architectures
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Invited Talk: Algebraic State Machines
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Design Patterns Application in UML
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
StateLator - Behavioral Code Generation as an Instance of a Model Transformation
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
An Overview of RoZ: A Tool for Integrating UML and Z Specifications
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Increasing Reusability in Information Systems Development by Applying Generic Methods
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Towards UML-G: A UML Profile for Modeling Groupware
CRIWG '02 Proceedings of the 8th International Workshop on Groupware: Design, Implementation and Use
Understanding Redundancy in UML Models for Object-Oriented Analysis
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
External Requirements Validation for Component-Based Systems
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Automatic Synthesis of Agent Designs in UML
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
A Metamodeling Approach to Evolution
FoMLaDO/DEMM 2000 Selected papers from the 9th International Workshop on Foundations of Models and Languages for Data and Objects, Database Schema Evolution and Meta-Modeling
Integrating Semantics for Object-Oriented System Models
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
From a B Specification to UML StateChart Diagrams
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
The KeY Approach: Integrating Object Oriented Design and Formal Verification
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
NGITS '02 Proceedings of the 5th International Workshop on Next Generation Information Technologies and Systems
Towards a Consistent Viewpoint on Consistency for Persistent Applications
Proceedings of the International Symposium on Objects and Databases
A Proposal for a Formal OCL Semantics in Isabelle/HOL
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Development of UML Descriptions with USE
EurAsia-ICT '02 Proceedings of the First EurAsian Conference on Information and Communication Technology
Adding Business Rules and Constraints in Component Based Applications
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Formalizing UML-Based Process Models Using Graph Transformations
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
UML for Behavior-Oriented Multi-agent Simulations
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
Verification for Java's Reentrant Multithreading Concept
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
ECOOP '02 Proceedings of the Workshops and Posters on Object-Oriented Technology
Knowledge-Based Object-Oriented Software Engineering
ECOOP '02 Proceedings of the Workshops and Posters on Object-Oriented Technology
Techniques for Embedding Executable Specifications in Software Component Interfaces
ICCBSS '03 Proceedings of the Second International Conference on COTS-Based Software Systems
Correct Object-Oriented Systems in Computational Logic
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Towards a True Reflective Modeling Scheme
Proceedings of the 1st OOPSLA Workshop on Reflection and Software Engineering: Reflection and Software Engineering, Papers from OORaSE 1999
Extracting Initial UML Domain Models from Daml+OIL Encoded Ontologies
PROFES '02 Proceedings of the 4th International Conference on Product Focused Software Process Improvement
Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
The Message Paradigm in Object-Oriented Analysis
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
OCL as a Specification Language for Business Rules in Database Applications
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
On Querying UML Data Models with OCL
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Analysis of UML Stereotypes within the UML Metamodel
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
HOL-OCL: Experiences, Consequences and Design Choices
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Configuration Knowledge Representation Using UML/OCL
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Extending the UML for Multidimensional Modeling
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
PTCS '01 Proceedings of the International Seminar on Proof Theory in Computer Science
An Overview of the GXL Graph Exchange Language
Revised Lectures on Software Visualization, International Seminar
The CORAS Framework for a Model-Based Risk Management Process
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
A Modeling Framework for Constraints
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Validation of UML Models Thanks to Z and Lustre
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Interference Analysis for Dependable Systems Using Refinement and Abstraction
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
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
Towards Designing Distributed Systems with ConDIL
EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
Decidable Navigation Logics for Object Structures
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Architectural Reflection: Realising Software Architectures via Reflective Activities
EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
Combining Graphical and Formal Development of Open Distributed Systems
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Consistency Checking of Financial Derivatives Transactions
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
A New Type Checking Approach for OCL Version 2.0?
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
The Amsterdam Manifesto on OCL
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Using OCL and UML to Specify System Behavior
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
OCL: Syntax, Semantics, and Tools
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
A Meta-model Facility for a Family of UML Constraint Languages
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
The Semantics of the OCL Action Clause
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
On the Combination of Assertions and Virtual Prototyping for the Design of Safety-Critical Systems
ARCS '02 Proceedings of the International Conference on Architecture of Computing Systems: Trends in Network and Pervasive Computing
The Specification of UML Collaborations as Interaction Components
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
On the Precise Meaning of OCL Constraints
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Object models as heap invariants
Programming methodology
Component software: a new software engineering course
Journal of Computing Sciences in Colleges
A compositional formalism for object viewpoints
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Computer-aided specification and verification of annotated object-oriented programs
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Enterprise frameworks for workflow management systems
Software—Practice & Experience - Special issue: Enterprise frameworks
Formalization of the Whole-Part Relationship in the Unified Modeling Language
IEEE Transactions on Software Engineering
From scenarios to code: an air traffic control case study
Proceedings of the 25th International Conference on Software Engineering
Modeling methodology for integrated simulation of embedded systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Enhancing the Object Constraint Language for More Expressive Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Formal Methods: Mathematics, Computer Science, or Software Engineering?
CSEET '00 Proceedings of the 13th Conference on Software Engineering Education & Training
Towards Efficient Support for Executing the Object Constraint Language
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Object Lessons Learned from an Intelligent Agents Framework for Telephony-Based Applications
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
Constraint Diagrams: A Step Beyond UML
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Some Shortcomings of OCL, the Object Constraint Language of UML
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
SALT - An Integrated Environment to Automate Generation of Function Tests for APIs
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Runtime verification of .NET contracts
Journal of Systems and Software - Special issue on: Component-based software engineering
Investigating the use of analysis contracts to improve the testability of object-oriented code
Software—Practice & Experience
POLICY '02 Proceedings of the 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY'02)
UML for real
Verification of Access Control Coherence in Information System during Modifications
WETICE '03 Proceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
Ontology support for web service processes
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Designing high integrity systems using aspects
Integrity and internal control in information systems V
An Approach for Modeling and Analysis of Security System Architectures
IEEE Transactions on Knowledge and Data Engineering
Conceptual modeling with the object-process methodology in software architecture
Journal of Computing Sciences in Colleges
An object-oriented hypermedia reference model formally specified in UML
Information modeling for internet applications
OO-H Method: extending UML to model web interfaces
Information modeling for internet applications
An integrated framework for formal development of open distributed systems
Proceedings of the 2003 ACM symposium on Applied computing
Enhancing RUP business model with client-oriented requirements models
UML and the unified process
Introducing non-functional requirements in UML
UML and the unified process
Formalizing UML class diagrams
UML and the unified process
An extension to a UML activity graph from workflow
UML and the unified process
Tool support for validating UML and OCL models through automatic snapshot generation
SAICSIT '03 Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
An approach for supporting aspect-oriented domain modeling
Proceedings of the 2nd international conference on Generative programming and component engineering
A service-based approach to components for effective business-IT alignment
Practicing software engineering in the 21st century
Information analysis in UML and ORM: a comparison
Advanced topics in database research vol. 1
Formal approaches to systems analysis using UML: an overview
Advanced topics in database research vol. 1
Formal hardware specification languages for protocol compliance verification
ACM Transactions on Design Automation of Electronic Systems (TODAES)
ACM SIGSOFT Software Engineering Notes
Journal of Functional Programming
Translating the Object Constraint Language into the Java Modelling Language
Proceedings of the 2004 ACM symposium on Applied computing
A UML-Based Pattern Specification Technique
IEEE Transactions on Software Engineering
Towards a UML profile for QoS: a contribution in the reliability domain
WOSP '04 Proceedings of the 4th international workshop on Software and performance
A performance analysis approach based on the UML class diagram
WOSP '04 Proceedings of the 4th international workshop on Software and performance
A UML profile and mapping for the generation of ontology-specific content languages
The Knowledge Engineering Review
Incorporating business requirements and constraints in database conceptual models
APCCM '04 Proceedings of the first Asian-Pacific conference on Conceptual modelling - Volume 31
Towards the completion of the formal semantics of OCL 2.0
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
A Pattern-Based Framework for Software Anomaly Detection
Software Quality Control
Constraint-guided dynamic reconfiguration in sensor networks
Proceedings of the 3rd international symposium on Information processing in sensor networks
Precise Modeling of Design Patterns in UML
Proceedings of the 26th International Conference on Software Engineering
Graphic Language for Describing Constraints on Diagrams of UML Classes
Programming and Computing Software
Dynamic Coupling Measurement for Object-Oriented Software
IEEE Transactions on Software Engineering
Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Management of business process constraints using BPTrigger
Computers in Industry
A type system for object models
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Proceedings of the thirteenth ACM international conference on Information and knowledge management
Enhancing Structured Review with Model-Based Verification
IEEE Transactions on Software Engineering
Assessing and Improving State-Based Class Testing: A Series of Experiments
IEEE Transactions on Software Engineering
A framework instantiation approach based on the features model
Journal of Systems and Software - Special issue: Applications of statistics in software engineering
authUML: a three-phased framework to analyze access control specifications in use cases
Proceedings of the 2003 ACM workshop on Formal methods in security engineering
An UML approach for the metamodelling of automated production systems for monitoring purpose
Computers in Industry - Special issue: Object-oriented modelling in design and production
Integrating formalism into undergraduate software engineering
Journal of Systems and Software - Special issue: The new context for software engineering education and training
Toward Formalizing Domain Modeling Semantics in Language Syntax
IEEE Transactions on Software Engineering
Visual specification and analysis of use cases
SoftVis '05 Proceedings of the 2005 ACM symposium on Software visualization
Contextual information management using contract: based workflow
Proceedings of the 2nd conference on Computing frontiers
How the design of JML accommodates both runtime assertion checking and formal verification
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Verification of behavioural elements of UML models using B
Proceedings of the 2005 ACM symposium on Applied computing
Application of the UML in Modeling SCORM-Conformant Contents
ICALT '05 Proceedings of the Fifth IEEE International Conference on Advanced Learning Technologies
A methodology and tool support for managing business rules in organisations
Information Systems
Performance modeling and analysis of software architectures: an aspect-oriented UML based approach
Science of Computer Programming - Special issue on system and software architectures(IWSSA'04)
Pragmatic Consistency Management in Industrial Requirements Specifications
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Specification and verification of inter-component constraints in CTL
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Constraint animation using an object-oriented declarative language
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
A formal approach to specifying and testing the interoperation between components
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
Automatic Test Generation: A Use Case Driven Approach
IEEE Transactions on Software Engineering
Symbolic model checking of declarative relational models
Proceedings of the 28th international conference on Software engineering
A research agenda for distributed software development
Proceedings of the 28th international conference on Software engineering
From semantic web to expressive software specifications: a modeling languages spectrum
Proceedings of the 28th international conference on Software engineering
Checking BART test scenarios with UML's object constraint language
Formal methods for embedded distributed systems
PDM System implementation based on UML
Mathematics and Computers in Simulation - Special issue: Computational engineering in systems applications (CESA 2003)
Towards unified modelling of product life-cycles
Computers in Industry
GXL: a graph-based standard exchange format for reengineering
Science of Computer Programming - Software analysis, evolution and re-engineering
AVDL: a highly adaptable architecture view description language
Journal of Systems and Software
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component engineering
Keeping track of crosscutting requirements in UML models via context-based constraints
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Dynamic constraint detection for polymorphic behavior
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Moving architectural description from under the technology lamppost
Information and Software Technology
Information and Software Technology
A UML profile for multidimensional modeling in data warehouses
Data & Knowledge Engineering - Special issue: ER 2003
International Journal of Knowledge-based and Intelligent Engineering Systems - Selected papers from the KES2004 conference
MIS '05 Proceedings of the 2005 symposia on Metainformatics
Environmental Modelling & Software
Object oriented concepts identification from formal B specifications
Formal Methods in System Design
Using software product lines to manage model families in model-driven engineering
Proceedings of the 2007 ACM symposium on Applied computing
DisCComp -- A Formal Model for Distributed C oncurrent Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Propositional Logic Constraint Patterns and Their Use in UML-Based Conceptual Modeling and Analysis
IEEE Transactions on Knowledge and Data Engineering
Extending Dynamic Constraint Detection with Polymorphic Analysis
WODA '07 Proceedings of the 5th International Workshop on Dynamic Analysis
Visualizing Design Patterns in Their Applications and Compositions
IEEE Transactions on Software Engineering
A Static Semantics for Alloy and its Impact in Refactorings
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated size analysis for OCL
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
USE: A UML-based specification environment for validating UML and OCL
Science of Computer Programming
Specifying and validating structural constraints of analysis class models using OCL
Information and Software Technology
Preliminary explorations in specifying and validating entity-relationship models in PVS
Proceedings of the second workshop on Automated formal methods
Shared data modeling with UML-G
International Journal of Computer Applications in Technology
Managing complexity in ICT systems development
International Journal of Information Technology and Management
A Deductive Proof System for Multithreaded Java with Exceptions
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
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
Semantic model-driven development of web service architectures
International Journal of Web Engineering and Technology
Modeling and Analyzing Variability for Mobile Information Systems
ICCSA '08 Proceedings of the international conference on Computational Science and Its Applications, Part II
Diagrammatic Reasoning Systems
ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
Modeling Components and Component-Based Systems in KobrA
The Common Component Modeling Example
A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Caching and incrementalisation in the java query language
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Cross Checking Rules to Improve Consistency between UML Static Diagram and Dynamic Diagram
IDEAL '08 Proceedings of the 9th International Conference on Intelligent Data Engineering and Automated Learning
Snapshot Generation in a Constructive Object-Oriented Modeling Language
Logic-Based Program Synthesis and Transformation
New paradigms for a product oriented modelling: Case study for traceability
Computers in Industry
Specification and Verification of Invariants by Exploiting Layers in OO Designs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Internet Laboratory Instructions for Advanced Software Engineering Course
Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
Experiments with a High-Level Navigation Language
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Consistency, Independence and Consequences in UML and OCL Models
TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
Practical framework constraints
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
A multi-level model-driven regime for value-added tax compliance in ERP systems
Computers in Industry
A systematic review of UML model consistency management
Information and Software Technology
Representing metadata constraints in Common Logic
International Journal of Metadata, Semantics and Ontologies
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
Towards unified modelling of product life-cycles
Computers in Industry
Electronic Notes in Theoretical Computer Science (ENTCS)
A Metamodel-Based OCL-Compiler for UML and MOF
Electronic Notes in Theoretical Computer Science (ENTCS)
Ensuring UML Models Consistency Using the OCL Environment
Electronic Notes in Theoretical Computer Science (ENTCS)
Realizing UML Metamodel Transformations with AGG
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Small Model Theorem for Data Independent Systems in Alloy
Electronic Notes in Theoretical Computer Science (ENTCS)
Object Oriented Concepts Identification from Formal B Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
A Constructive Object Oriented Modeling Language for Information Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic implementation of constraints in component based applications
Information and Software Technology
A methodology and tool support for managing business rules in organisations
Information Systems
Transforming use case models to class models and OCL-specifications
International Journal of Computers and Applications
A minimum cardinality consistency-checking algorithm for UML class diagrams
Proceedings of the International Conference and Workshop on Emerging Trends in Technology
PDM system implementation based on UML
Mathematics and Computers in Simulation
Constraint-guided self-adaptation
IWSAS'01 Proceedings of the 2nd international conference on Self-adaptive software: applications
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
BIS'07 Proceedings of the 10th international conference on Business information systems
A real-time profile for UML and how to adapt it to SDL
SDL'03 Proceedings of the 11th international conference on System design
Using theory morphisms for implementing formal methods tools
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
Visual specifications of policies and their verification
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
From use cases to system operation specifications
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Ensuring quality of geographic data with UML and OCL
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
Validating UML models and OCL constraints
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Modular architecture for a toolset supporting OCL
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Consistency checking and visualization of OCL constraints
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
Enabling the refinement of a software architecture into a design
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
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Nine suggestions for improving UML extensibility
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
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
Correct realizations of interface constraints with OCL
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Generating tests from UML specifications
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Using UML/OCL constraints for relational database design
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Towards a UML extension for hypermedia design
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
Comprehensive task and dialog modelling
HCI'07 Proceedings of the 12th international conference on Human-computer interaction: interaction design and usability
Design pattern evolutions in QVT
Software Quality Control
Modeling and analyzing architectural change with alloy
Proceedings of the 2010 ACM Symposium on Applied Computing
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
A design methodology for real services
Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
Specifying overlaps of heterogeneous models for global consistency checking
Proceedings of the First International Workshop on Model-Driven Interoperability
ACM SIGSOFT Software Engineering Notes
Knowledge-centric and language independent framework for safety analysis tools
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Object constraint language (OCL): past, present and future
ACM SIGSOFT Software Engineering Notes
SysML to UML model transformation for test generation purpose
ACM SIGSOFT Software Engineering Notes
Bridging metamodels and ontologies in software engineering
Journal of Systems and Software
Enhancing the semantics of UML association redefinition
Data & Knowledge Engineering
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Metamodelling: state of the art and research challenges
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Requirements modeling for embedded realtime systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Automatic generation of model checking scripts based on environment modeling
SPIN'10 Proceedings of the 17th international SPIN conference on Model checking software
SAHAM: Shared Adaptive Hypermedia Application Model
International Journal of Computer Applications in Technology
LEAP: a precise lightweight framework for enterprise architecture
Proceedings of the 4th India Software Engineering Conference
Towards an approach of formal verification of mediation protocol based on web services
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
OCL for the ODP information viewpoint specifications
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
Validation of security policies by the animation of Z specifications
Proceedings of the 16th ACM symposium on Access control models and technologies
Automatic test concretization to supply end-to-end MBT for automotive mechatronic systems
Proceedings of the First International Workshop on End-to-End Test Script Engineering
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Cross-layer modeler: a tool for flexible multilevel modeling with consistency checking
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Encoding OCL data types for SAT-based verification of UML/OCL models
TAP'11 Proceedings of the 5th international conference on Tests and proofs
Translating between language and logic: what is easy and what is difficult
CADE'11 Proceedings of the 23rd international conference on Automated deduction
UML formal semantics: lessons learned
Software and Systems Modeling (SoSyM)
An executable object-oriented semantics and its application to firewall verification
Software and Systems Modeling (SoSyM)
Development of an automated MBT toolchain from UML/SysML models
Innovations in Systems and Software Engineering
Uses and abuses of the stereotype mechanism in UML 1.x and 2.0
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Service composition (re)binding driven by application–specific qos
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Defect proneness estimation and feedback approach for software design quality improvement
Information and Software Technology
Access control coherence of information systems based on security constraints
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Finite state history modeling and its precise UML-based semantics
CoMoGIS'06 Proceedings of the 2006 international conference on Advances in Conceptual Modeling: theory and practice
A DSL for writing type systems for Xtext languages
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
A predicative semantic model for integrating UML models
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Tool support for model-driven development of web applications
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
rCOS: a formal model-driven engineering method for component-based software
Frontiers of Computer Science in China
Symbolic animation of JML specifications
FM'05 Proceedings of the 2005 international conference on Formal Methods
A methodology for writing class contracts
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
Embedded Systems Design
Specification and verification of encapsulation in java programs
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Generating a prototype from a UML model of system requirements
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
Pricing American bond options using a penalty method
Automatica (Journal of IFAC)
Lessons learned from developing a dynamic OCL constraint enforcement tool for java
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Checking JML specifications with b machines
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Automated invariant maintenance via OCL compilation
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Supporting tools for designing-by-contract in component-based applications
MIS'04 Proceedings of the 2004 international conference on Metainformatics
Implementing application-specific object-oriented theories in HOL
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Constructing open systems via consistent components
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Layered ontological modelling for web service-oriented model-driven architecture
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Dynamic constraint-based invocation of web services
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Specification of role-based interactions components in multi-agent systems
Software Engineering for Multi-Agent Systems III
The ANote modeling language for agent-oriented specification
Software Engineering for Multi-Agent Systems III
Definition and correct refinement of operation specifications
Dependable Systems
Efficient object querying for java
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
On better understanding OCL collections or an OCL ordered set is not an OCL set
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
MMDiff: a modeling tool for metamodel comparison
Proceedings of the 50th Annual Southeast Regional Conference
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
ABS: a core language for abstract behavioral specification
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
SMT-based enumeration of object graphs from UML class diagrams
ACM SIGSOFT Software Engineering Notes
Classification and trend analysis of UML books (1997---2009)
Software and Systems Modeling (SoSyM)
Computers & Mathematics with Applications
A Deductive Proof System for Multithreaded Java with Exceptions
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Specification and Verification of Invariants by Exploiting Layers in OO Designs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
FedDW global schema architect: UML-based design tool for the integration of data mart schemas
Proceedings of the fifteenth international workshop on Data warehousing and OLAP
Software and Systems Modeling (SoSyM)
Model checking of OSEK/VDX OS design model based on environment modeling
ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing
BETA: a b based testing approach
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
Improving software product line configuration: A quality attribute-driven approach
Information and Software Technology
CAMPUS: A middleware for automated context-aware adaptation decision making at run time
Pervasive and Mobile Computing
Autogenerator: Generation and execution of programming code on demand
Expert Systems with Applications: An International Journal
Modeling Design Patterns for Semi-Automatic Reuse in System Design
Journal of Database Management
Determining relevant model elements for the verification of UML/OCL specifications
Proceedings of the Conference on Design, Automation and Test in Europe
Towards a generic verification methodology for system models
Proceedings of the Conference on Design, Automation and Test in Europe
Debugging of inconsistent UML/OCL models
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Eliminating invariants in UML/OCL models
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Applying a def-use approach on signal exchange to implement SysML model-based testing
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Automating the analysis of NCL documents with a model-driven approach
Proceedings of the 19th Brazilian symposium on Multimedia and the web
Accelerated model-based robustness testing of state machine implementations
ACM SIGAPP Applied Computing Review
| Hi-index | 0.02 |