A large distributed control system using Ada in fusion research
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Reifying configuration management for object-oriented software
Proceedings of the 20th international conference on Software engineering
N degrees of separation: multi-dimensional separation of concerns
Proceedings of the 21st international conference on Software engineering
Adding more “DL” to IDL: towards more knowledgeable component inter-operability
Proceedings of the 21st international conference on Software engineering
3D behavioral model design for simulation and software engineering
VRML '00 Proceedings of the fifth symposium on Virtual reality modeling language (Web3D-VRML)
Using Java reflection to automate extension language parsing
Proceedings of the 2nd conference on Domain-specific languages
Programming and enjoying music with your eyes closed
Proceedings of the SIGCHI conference on Human Factors in Computing Systems
Proceedings of the SIGCHI conference on Human Factors in Computing Systems
Proceedings of the Conference on The Future of Software Engineering
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
Inference of message sequence charts
Proceedings of the 22nd international conference on Software engineering
An approach for modeling the name lookup problem in the C++ programming lanaguage
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Real-Time Object-Oriented Design and Formal Methods
Real-Time Systems - Selected papers from IFAC/IFIP workshops on real-time programming
Teaching object-orientation with the Object Visualization and Annotation Language (OVAL)
Proceedings of the 5th annual SIGCSE/SIGCUE ITiCSEconference on Innovation and technology in computer science education
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
A UML tool for an automatic generation of simulation programs
Proceedings of the 2nd international workshop on Software and performance
A framework for the development of cooperative configuration agents
IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
A knowledge-based method for inferring semantic concepts from visual models of system behavior
ACM Transactions on Software Engineering and Methodology (TOSEM)
A real world object modeling method for creating simulation environment of real-time systems
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Compiler and tool support for debugging object protocols
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
COM revisited: tool-assisted modelling of an architectural framework
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Modeling part-whole relationships for spatial data
Proceedings of the 8th ACM international symposium on Advances in geographic information systems
Proceedings of the 8th ACM international symposium on Advances in geographic information systems
Teaching software tools via design patterns
ACSE '00 Proceedings of the Australasian conference on Computing education
Advanced database concepts for undergraduates: experience with teaching a second course
Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
Design methodology for PicoRadio networks
Proceedings of the conference on Design, automation and test in Europe
Bottom-up design of active object-oriented databases
Communications of the ACM
A workbench for quality based software re-engineering (Poster)
OOPSLA '00 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
A workbench for quality based software re-engineering (Doctoral Symposium)
OOPSLA '00 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
Representing agent interaction protocols in UML
First international workshop, AOSE 2000 on Agent-oriented software engineering
Embedded UML: a merger of real-time UML and co-design
Proceedings of the ninth international symposium on Hardware/software codesign
Lightweight Extraction of Object Models from Bytecode
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Reusable component interconnection patterns for distributed software architectures
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
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
Requirements for an educational software development process
Proceedings of the 6th annual conference on Innovation and technology in computer science education
Contextual def-use associations for object aggregation
PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
MAS — an interactive synthesizer to support behavioral modelling in UML
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A scenario-driven approach to traceability
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A general framework for formalizing UML with formal languages
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
An efficient set of software degree programs for one domain
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
OPEN: a flexible OO/CBD process for software-intensive systems development, a UML exposition
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Describing software architecture with UML
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
State, event, time and diagram in system modeling
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Describing software architecture with UML
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Deadlock detection in distribution object systems
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)
Behavior-consistent specialization of object life cycles
ACM Transactions on Software Engineering and Methodology (TOSEM)
Team accessible methods for production of safety critical hypermedia documentation
IPCC/SIGDOC '00 Proceedings of IEEE professional communication society international professional communication conference and Proceedings of the 18th annual ACM international conference on Computer documentation: technology & teamwork
Making complex document structures accessible through templates
IPCC/SIGDOC '00 Proceedings of IEEE professional communication society international professional communication conference and Proceedings of the 18th annual ACM international conference on Computer documentation: technology & teamwork
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Design properties and evolvability of object-oriented systems
Advances in software engineering
Summary report of the OOPSLA 2000 workshop on scenario-based round-trip engineering
ACM SIGSOFT Software Engineering Notes
Viewing use cases as active objects
ACM SIGSOFT Software Engineering Notes
WoSEF: workshop on standard exchange format
ACM SIGSOFT Software Engineering Notes
Limits in modelling evolving computer-based systems
Proceedings of the 2002 ACM symposium on Applied computing
A UML statecharts semantics with message-passing
Proceedings of the 2002 ACM symposium on Applied computing
Proceedings of the 32nd conference on Winter simulation
Proceedings of the 32nd conference on Winter simulation
Modelling audit security for Smart-Card payment schemes with UML-SEC
Sec '01 Proceedings of the 16th international conference on Information security: Trusted information: the new decade challenge
Object orientation in CS1-CS2 by design
Proceedings of the 7th annual conference on Innovation and technology in computer science education
Intelligent agents for QoS management
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
A method for the early stages of interactive system design using UML and Lean Cuisine+
AUIC '01 Proceedings of the 2nd Australasian conference on User interface
Essential use cases and responsibility in object-oriented development
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
In support of user interface design in the rational unified process
AUIC '02 Proceedings of the Third Australasian conference on User interfaces - Volume 7
UML class diagram syntax: an empirical study of comprehension
APVis '01 Proceedings of the 2001 Asia-Pacific symposium on Information visualisation - Volume 9
Graph drawing aesthetics and the comprehension of UML class diagrams: an empirical study
APVis '01 Proceedings of the 2001 Asia-Pacific symposium on Information visualisation - Volume 9
Reveal: a tool to reverse engineer class diagrams
CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
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
Formal Methods Application: An Empirical Tale of Software Development
IEEE Transactions on Software Engineering
Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System
IEEE Transactions on Software Engineering
Korat: automated testing based on Java predicates
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Panel discussion: is ISSTA testing research relevant to industrial users?
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Dynamic analysis for reverse engineering and program understanding
ACM SIGAPP Applied Computing Review
Handling the knowledge acquired during the requirements engineering process: a case study
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
An infrastructure for the rapid development of XML-based architecture description languages
Proceedings of the 24th International Conference on Software Engineering
Distributed component technologies and their software engineering implications
Proceedings of the 24th International Conference on Software Engineering
Tutorial: describing software architecture with UML
Proceedings of the 24th International Conference on Software Engineering
Non-functional requirements: from elicitation to modelling languages
Proceedings of the 24th International Conference on Software Engineering
Modeling and detecting performance problems for distributed and parallel programs with JavaPSL
Proceedings of the 2001 ACM/IEEE conference on Supercomputing
Real-time UML-based performance engineering to aid manager's decisions in multi-project planning
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Developing and Maintaining an Object-Oriented Distributed Multimedia Information System
Annals of Software Engineering
Engineering Web-Based Systems with UML Assets
Annals of Software Engineering
A Formal Object Approach to the Design of ZML
Annals of Software Engineering
Combined Negotiations in E-Commerce: Concepts and Architecture
Electronic Commerce Research
A Theory of Object-Oriented Design
Information Systems Frontiers
IntelliGEN: A Distributed Workflow System for Discovering Protein-Protein Interactions
Distributed and Parallel Databases
SIGCSE '03 Proceedings of the 34th SIGCSE technical symposium on Computer science education
IEEE Transactions on Visualization and Computer Graphics
Spatial Object Clustering and Buffering
IEEE MultiMedia
A Method for Design and Performance Modeling of Client/Server Systems
IEEE Transactions on Software Engineering
On Object Systems and Behavioral Inheritance
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Derived types and taxonomic constraints in conceptual modeling
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Object-oriented modeling with ADORA
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
A conceptual model for remote data acquisition systems
Computers in Industry
Formalizing and integrating the dynamic model for object-oriented modeling
IEEE Transactions on Software Engineering
An object-oriented tool for simulating distributed real-time control systems
Software—Practice & Experience
Hierarchical graph transformation
Journal of Computer and System Sciences
Specification Diagrams for Actor Systems
Higher-Order and Symbolic Computation
A Scenario-Driven Approach to Trace Dependency Analysis
IEEE Transactions on Software Engineering
Locating Features in Source Code
IEEE Transactions on Software Engineering
Decorating tokens to facilitate recognition of ambiguous language constructs
Software—Practice & Experience
Error handling in process support systems
Advances in exception handling techniques
Tool Support for Development Using Patterns
EDOC '01 Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing
Towards a UML for Interactive Systems
EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
Integrating Knowledge-Based Configuration Systems by Sharing Functional Architectures
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
The MOKA Modelling Language (Short Paper)
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach
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
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
On Use Cases and Their Relationships in the Unified Modelling Language
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Towards Development of Secure Systems Using UMLsec
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design
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
Computer-Assisted Learning of Chemical Experiments through a 3D Virtual Lab
ICCS '02 Proceedings of the International Conference on Computational Science-Part I
Logic Programming for Software Engineering: A Second Chance
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Modeling Variability with the Variation Point Model
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Domain Modeling for World Wide Web Based Software Product Lines with UML
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Model Reuse with Metamodel-Based Transformations
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
M-CODD: A Technique for the Conceptual Design of Multimedia Databases
MDIC '01 Proceedings of the Second International Workshop on Multimedia Databases and Image Communication
Progressive Access: A Step towards Adaptability in Web-Based Information Systems
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
Evaluating Information Systems Development Methods: A New Framework
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
Automatic Generation of Hierarchical Taxonomies from Free Text Using Linguistic Algorithms
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
A Specification-Oriented Framework for Information System User Interfaces
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
Towards a New Role Paradigm for Object-Oriented Modeling
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
Specialization/Generalization in Object-Oriented Analysis: Strengthening and Multiple Partitioning
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
Employing the Unified Process for Developing a Web-Based Application - A Case-Study
PAKM '02 Proceedings of the 4th International Conference on Practical Aspects of Knowledge Management
Lightweight Analysis of Object Interactions
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Multi-Relational Data Mining, Using UML for ILP
PKDD '00 Proceedings of the 4th European Conference on Principles of Data Mining and Knowledge Discovery
Systematic Integration of Variability into Product Line Architecture Design
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
Formal Methods for the International Space Station ISS
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Contexts and Views in Object-Oriented Languages
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
On the Completeness and Expressiveness of Spider Diagram Systems
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Universal Arrow Foundations for Visual Modeling
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Logic for Component-Based Software Development
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Using Design Information to Identify Structural Software Faults
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
An ASM Semantics for UML Activity Diagrams
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Coordination among Multi-agents Using Process Calculus and ECA Rule
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Dealing with Complex Reports in OLAP Applications
DaWaK '99 Proceedings of the First International Conference on Data Warehousing and Knowledge Discovery
Automated Test Case Generation from Dynamic Models
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
UML-F: A Modeling Language for Object-Oriented Frameworks
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Design Patterns Application in UML
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Towards a Unified Programming Language
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
A Framework for the Evolution of Temporal Conceptual Schemas of Information Systems
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Taxonomies and Derivation Rules in Conceptual Modeling
CAiSE '01 Proceedings of the 13th 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
A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
The ADORA Approach to Object-Oriented Modeling of Software
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Techniques for Reactive System Design: The Tools in TRADE
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
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
Metadata and Cooperative Knowledge Management
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Mapping UML Web Navigation Stereotypes to XML Data Skeletons
EC-WEB '02 Proceedings of the Third International Conference on E-Commerce and Web Technologies
Role of Model Transformation in Method Engineering
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Towards a Framework for Comparing Process Modelling Languages
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Modelling Dynamic Group Behaviours
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling
DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
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
Using CBR for Automation of Software Design Patterns
ECCBR '02 Proceedings of the 6th European Conference on Advances in Case-Based Reasoning
Experiments on Case-Based Retrieval of Software Designs
ECCBR '02 Proceedings of the 6th European Conference on Advances in Case-Based Reasoning
Toward a Formal Model of Software Components
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
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
On the Formalized Semantics of Static Modeling Elements in UML
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Extending Entity-Relationship Models with Higher-Order Operators
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
On Performance Modeling for HPF Applications with ASL
ISHPC '00 Proceedings of the Third International Symposium on High Performance Computing
Experiences in the Development of an Agent Architecture
PRIMA '00 Proceedings of the Third Pacific Rim International Workshop on Multi-Agents: Design and Applications of Intelligent Agents
An Organizational Metamodel for the Design of Catalogues of Communicative Actions
Proceedings of the 5th Pacific Rim International Workshop on Multi Agents: Intelligent Agents and Multi-Agent Systems
EurAsia-ICT '02 Proceedings of the First EurAsian Conference on Information and Communication Technology
OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Building Formal Requirements Models for Reliable Software
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Linking Information with Distributed Objects
ECDL '01 Proceedings of the 5th European Conference on Research and Advanced Technology for Digital Libraries
Non-massive, Non-high Performance, Distributed Computing: Selected Issues
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
On the Concurrent Object Model of UML
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
The Internet Marketplace Template: An Architecture Template for Inter-enterprise Information Systems
CooplS '01 Proceedings of the 9th International Conference on Cooperative Information Systems
Collecting and Querying Distributed Traces of Composite Service Executions
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
From Graph Transformation to Rule-Based Programming with Diagrams
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Editor Definition Language and Its Implementation
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Automating Object-Oriented Software Development Methods
ECOOP '01 Proceedings of the Workshops on Object-Oriented Technology
A Method for Recovery and Maintenance of Software Architecture
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
A New Approach in Object-Based Knowledge Representation: The AROM System
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Component-Oriented Programming as an AI-Planning Problem
IEA/AIE '02 Proceedings of the 15th international conference on Industrial and engineering applications of artificial intelligence and expert systems: developments in applied artificial intelligence
Correct Object-Oriented Systems in Computational Logic
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Distinguishing Instances and Evidence of Geographical Concepts for Geospatial Database Design
GIScience '02 Proceedings of the Second International Conference on Geographic Information Science
Semantic Configuration Web Services in the CAWICOMS Project
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
CARP@ - A Reflection Based Tool for Observing Jini Services
Proceedings of the 1st OOPSLA Workshop on Reflection and Software Engineering: Reflection and Software Engineering, Papers from OORaSE 1999
Deployment of SDL Systems Using UML
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Collaboration-Based Design of SDL Systems
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
iState: A Statechart Translator
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
UML Activity Diagrams as a Workflow Specification Language
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
A Formal Semantics of UML State Machines Based on Structured Graph Transformation
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Timing Analysis of UML Activity Diagrams
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Mapping between Levels in the Metamodel Architecture
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Formalization of UML-Statecharts
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Executable Design Models for a Pervasive Healthcare Middleware System
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
Digging into Use Case Relationships
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
UMLsec: Extending UML for Secure Systems Development
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Peer-to-Peer Traced Execution of Composite Services
TES '01 Proceedings of the Second International Workshop on Technologies for E-Services
Encapsulating Rules of Prudent Security Engineering
Revised Papers from the 9th International Workshop on Security Protocols
Error Handling in Process Support Systems
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
An Overview of the GXL Graph Exchange Language
Revised Lectures on Software Visualization, International Seminar
On the Transformation of Object-Oriented Conceptual Models to Logical Theories
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
Business Modelling Is Not Process Modelling
ER '00 Proceedings of the Workshops on Conceptual Modeling Approaches for E-Business and The World Wide Web and Conceptual Modeling: Conceptual Modeling for E-Business and the Web
The M*-COMPLEX Approach to Enterprise Modeling, Engineering, and Integration
ER '00 Proceedings of the Workshops on Conceptual Modeling Approaches for E-Business and The World Wide Web and Conceptual Modeling: Conceptual Modeling for E-Business and the Web
Solving Disjunctive Constraints for Interactive Graphical Applications
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
A Modeling Framework for Constraints
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Entity Evolution in ISA Hierarchies
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Metamodeling for Web-Based Teachware Management
ER '99 Proceedings of the Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling
Relationship Type Refinement in Conceptual Models with Multiple Classification
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
A Systematic Approach to Transform OMT Diagrams to a B Specification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
A Formal Semantics of UML Statecharts by Model Transition Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
UML-Based Performance Modeling Framework for Component-Based Distributed Systems
Performance Engineering, State of the Art and Current Trends
Performance Engineering of Component-Based Distributed Software Systems
Performance Engineering, State of the Art and Current Trends
Performance Parameters and Context of Use
Performance Engineering, State of the Art and Current Trends
Petri Nets, Situations, and Automata
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Abstract State Machines at the Cusp of the Millenium
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Modeling the Dynamics of UML State Machines
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Object Oriented Petri Nets in Business Process Modeling
Business Process Management, Models, Techniques, and Empirical Studies
Inter-operability of Workflow Applications: Local Criteria for Global Soundness
Business Process Management, Models, Techniques, and Empirical Studies
Decidable Navigation Logics for Object Structures
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
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
Refinement in Object-Z and CSP
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Contributions for Modelling UML State-Charts in B
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
OCL: Syntax, Semantics, and Tools
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
PCM '02 Proceedings of the Third IEEE Pacific Rim Conference on Multimedia: Advances in Multimedia Information Processing
Agent-Oriented Modelling: Software versus the World
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
UML Class Diagrams Revisited in the Context of Agent-Based Systems
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Specifying Agent Interaction Protocols with Standard UML
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Pattern-Based Guidelines for Coordination Engineering
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
Automating Scenario-Driven Structured Requirements Engineering
COMPSAC '00 24th International Computer Software and Applications Conference
The Role and Modeling of Context in a Cognitive Model of Rogers' Person-Centred Approach
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Semantics of the Minimum Multiplicity in Ternary Associations in UML
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Combining Case-Based Reasoning and Analogical Reasoning in Software Design
AICS '02 Proceedings of the 13th Irish International Conference on Artificial Intelligence and Cognitive Science
Supplementing a UML Development Process with B
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Behavioral Conformance Verification in an Integrated Approach Using UML and B
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
The complementary use of IDEF and UML modelling approaches
Computers in Industry
Systems engineering for business process change
Programming methodology
Designing wrapper components for e-services in integrating heterogeneous systems
The VLDB Journal — The International Journal on Very Large Data Bases
Aspect-oriented interaction in multi-organisational web-based systems
Computer Networks: The International Journal of Computer and Telecommunications Networking
Towards a framework for managing the business-to-business e-commerce chain
Managing virtual web organizations in the 21st century
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
Generating adapters for concurrent component protocol synchronisation
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Ρ-Queries: enabling querying for semantic associations on the semantic web
WWW '03 Proceedings of the 12th international conference on World Wide Web
Model driven security for process-oriented systems
Proceedings of the eighth ACM symposium on Access control models and technologies
Formalization of the Whole-Part Relationship in the Unified Modeling Language
IEEE Transactions on Software Engineering
Tutorial H2: an overview of UML 2.0
Proceedings of the 25th International Conference on Software Engineering
Architectural level risk assessment tool based on UML specifications
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)
Supporting iterations in exploratory database reengineering processes
Science of Computer Programming - Software maintenance and reengineering (CSMR 99)
A change impact model for changeability assessment in object-oriented software systems
Science of Computer Programming - Software maintenance and reengineering (CSMR 99)
Increasing the flexibility of modelling tools via constraint-based specification
CASCON '99 Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
Using UML to reflect non-functional requirements
CASCON '01 Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research
Principles in formal specification of object oriented design and architecture
CASCON '01 Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research
Specification-based regression test selection with risk analysis
CASCON '02 Proceedings of the 2002 conference of the Centre for Advanced Studies on Collaborative research
Structural templates and transformations: the Themis structural computing environment
Journal of Network and Computer Applications - Special issue: Structural computing: research directions, systems and issues
Refactoring use case models: the metamodel
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
An Operational Component Specification Method
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
A Framework-Based Approach to Teaching OOT: Aims, Implementation, and Experience
CSEET '00 Proceedings of the 13th Conference on Software Engineering Education & Training
Reasoning about participation constraints and Chen's constraints
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Object Lessons Learned from an Intelligent Agents Framework for Telephony-Based Applications
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
On the Behavioral Inheritance of State-Based Objects
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Reverse Engineering of the UML Class Diagram from C++ Code in Presence of Weakly Typed Containers
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Impact Analysis of Maintenance Tasks for a Distributed Object-oriented System
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Trends in system safety: a European view?
SCS '02 Proceedings of the seventh Australian workshop conference on Safety critical systems and software 2002 - Volume 15
Problems and Deficiencies of UML as a Requirements Specification Language
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
How well can we predict changes at architecture design time?
Journal of Systems and Software
Automatic component protocol adaptation with the CoConut/J tool suite
Future Generation Computer Systems - Tools for program development and analysis
Automatic Translation from UML Specifications to B
Proceedings of the 16th IEEE international conference on Automated software engineering
TestEra: A Novel Framework for Automated Testing of Java Programs
Proceedings of the 16th IEEE international conference on Automated software engineering
Modeling Class Operations in B: Application to UML Behavioral Diagrams
Proceedings of the 16th IEEE international conference on Automated software engineering
Computers and Industrial Engineering
The description logic handbook
Models, software models and UML
UML for real
UML for real
Fine grained patterns for real-time systems
UML for real
Inference of Message Sequence Charts
IEEE Transactions on Software Engineering
Behaviour model elaboration using partial labelled transition systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Cognitive measurements of graph aesthetics
Information Visualization
The software concordance: a new software document management environment
Proceedings of the 21st annual international conference on Documentation
An end-to-end domain-driven software development framework
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Metamodel based model transformation language
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
An object-oriented hypermedia reference model formally specified in UML
Information modeling for internet applications
Modeling the workflow of prescription writing
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
Transforming UML class diagrams into relational data models
UML and the unified process
An extension to a UML activity graph from workflow
UML and the unified process
Towards a UML profile for building on top of running software
UML and the unified process
Configuration knowledge representations for Semantic Web applications
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
A Java 3D implementation of a geon based visualisation tool for UML
PPPJ '03 Proceedings of the 2nd international conference on Principles and practice of programming in Java
A Java dialog system for use in computer-aided teaching
PPPJ '03 Proceedings of the 2nd international conference on Principles and practice of programming in Java
Handling variant requirements in domain modeling
Journal of Systems and Software - Special issue: Best papers on Software Engineering from the SEKE'01 Conference
Developing multiagent systems: The Gaia methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Information analysis in UML and ORM: a comparison
Advanced topics in database research vol. 1
Extending UML for space- and time-dependent applications
Advanced topics in database research vol. 1
Integrating Data Flow Equations with UML/Realtime
Real-Time Systems
Information Systems
Formal hardware specification languages for protocol compliance verification
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Using refactoring and unification rules to assist framework evolution
ACM SIGSOFT Software Engineering Notes
Combining analysis and synthesis in a model of a biological cell
Proceedings of the 2004 ACM symposium on Applied computing
Approximating module semantics with constraints
Proceedings of the 2004 ACM symposium on Applied computing
Translating the Object Constraint Language into the Java Modelling Language
Proceedings of the 2004 ACM symposium on Applied computing
MODeLeR: multimedia object design learning resource
Proceedings of the 35th SIGCSE technical symposium on Computer science education
Entity-Relationship modeling revisited
ACM SIGMOD Record
Self-maintaining web pages: from theory to practice
Data & Knowledge Engineering
On the road to behavior-based integration
APCCM '04 Proceedings of the first Asian-Pacific conference on Conceptual modelling - Volume 31
Using abstract state machines for distributed data warehouse design
APCCM '04 Proceedings of the first Asian-Pacific conference on Conceptual modelling - Volume 31
Formalization of UML statechart models using Concurrent Regular Expressions
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
Queue - DSPs
Abstraction and control for shapely nested graph transformation
Fundamenta Informaticae - Special issue on the first international conference on graph transformation (ICGT 2002)
Embedding role-based access control model in object-oriented systems to protect privacy
Journal of Systems and Software
Nonfunctional Requirements: From Elicitation to Conceptual Models
IEEE Transactions on Software Engineering
Fine-grained, structured configuration management for web projects
Proceedings of the 13th international conference on World Wide Web
Using WordNet for case-based retrieval of UML models
AI Communications - STAIRS 2002
Tutorial: An Overview of UML 2.0
Proceedings of the 26th International Conference on Software Engineering
Representing composites in conceptual modeling
Communications of the ACM - Has the Internet become indispensable?
Static and dynamic analysis of call chains in java
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Graphic Language for Describing Constraints on Diagrams of UML Classes
Programming and Computing Software
TestEra: Specification-Based Testing of Java Programs Using SAT
Automated Software Engineering
An object-oriented design of a finite element code: application to multibody systems analysis
Advances in Engineering Software
Integrating XML and Relational Database Systems
World Wide Web
Design and Development of Multidevice User Interfaces through Multiple Logical Descriptions
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
Quality-Assured Design of On-Line Analytical Processing Systems using Abstract State Machines
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Ubiquitous Access to Reconfigurable Hardware: Application Scenarios and Implementation Issues
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Instant and Incremental Transformation of Models
Proceedings of the 19th IEEE international conference on Automated software engineering
Distributed Component-Based Software Development: An Incremental Approach
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
If i had a model, i'd model in the mornin'
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Comparison of UML and text based requirements engineering
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Resolving uncertainties during trace analysis
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
A framework for classifying intelligent design theories
Proceedings of the 2004 ACM workshop on Interdisciplinary software engineering research
Eliciting service composition in a goal driven manner
Proceedings of the 2nd international conference on Service oriented computing
Advanced query language for manipulating complex entities
Information Processing and Management: an International Journal
Providing flexible access control to an information flow control model
Journal of Systems and Software
A framework for modeling and implementing visual notations with applications to software engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modeling variability in software product lines with the variation point model
Science of Computer Programming - Special issue: Software variability management
XVCL: a mechanism for handling variants in software product lines
Science of Computer Programming - Special issue: Software variability management
Hypertext support for the information needs of software maintainers
Journal of Software Maintenance and Evolution: Research and Practice
Requester-centered composition of business processes from internal and external services
Data & Knowledge Engineering - Special issue: Collaborative business process technologies
Exploiting UML dynamic object modeling for the visualization of C++ programs
SoftVis '05 Proceedings of the 2005 ACM symposium on Software visualization
Finite Elements in Analysis and Design
QoS modelling and analysis with UML-statecharts: the StoCharts approach
ACM SIGMETRICS Performance Evaluation Review
Using XML views for improving graphical query specifications
Journal of Computing Sciences in Colleges
Design and implementation of an extended relationship semantics in an ODMG-compliant OODBMS
Journal of Systems and Software
Preventing information leakage within workflows that execute among competing organizations
Journal of Systems and Software - Special issue: Software engineering education and training
Virtual fab: an enabling framework and dynamic manufacturing service provision mechanism
Information and Management
A hierarchy of failures-based models: theory and application
Theoretical Computer Science - Expressiveness in concurrency
An analysis of modeling flaws in HL7 and JAHIS
Proceedings of the 2005 ACM symposium on Applied computing
Measuring structural complexity for class diagrams: an information theory approach
Proceedings of the 2005 ACM symposium on Applied computing
Use-case components for interactive information systems
Science of Computer Programming - Special issue on new software composition concepts
Encyclopedia of Computer Science
Object-oriented analysis and design (OOAD)
Encyclopedia of Computer Science
Architecture differencing for self management
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Model-driven development of large-scale web applications
IBM Journal of Research and Development
Relational analysis of algebraic datatypes
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Connector-based self-healing mechanism for components of a reliable system
DEAS '05 Proceedings of the 2005 workshop on Design and evolution of autonomic application software
Usability of Rational Rose and Visio in a software engineering course
ACM SIGCSE Bulletin
Uniform object modeling methodology and reuse of real-time system using UML
Proceedings of the 5th ACM international conference on Embedded software
PSE: An Object-Oriented Representation for Modeling and Managing Part-of Relationships
Journal of Intelligent Information Systems
A flexible, low-level scene graph traversal with explorers
Proceedings of the 21st spring conference on Computer graphics
Science of Computer Programming - Special issue on system and software architectures(IWSSA'04)
Self-healing components in robust software architecture for concurrent and distributed systems
Science of Computer Programming - Special issue on system and software architectures(IWSSA'04)
Exploring the acceptability envelope
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
CanonSketch and TaskSketch: innovative modeling tools for usage-centered design
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Estimating software based on use case points
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A systematic evaluation of the C4ISR AF using ISO15704 annex A (GERAM)
Computers in Industry
A Basis for Analyzing Software Architecture Analysis Methods
Software Quality Control
Model representation with aesthetic computing: Method and empirical study
ACM Transactions on Modeling and Computer Simulation (TOMACS)
UML formalization is a traceability problem
TEFSE '05 Proceedings of the 3rd international workshop on Traceability in emerging forms of software engineering
Automated Prototyping of User Interfaces Based on UML Scenarios
Automated Software Engineering
On the Systematic Analysis of Natural Language Requirements with CIRCE
Automated Software Engineering
A Cloverleaf of Software Engineering
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Integrating activity theory and organizational modeling for context of use analysis
CLIHC '05 Proceedings of the 2005 Latin American conference on Human-computer interaction
Proceedings of the 5th international conference on Aspect-oriented software development
Using a script model to preserve the consistency within an UI design environment
TAMODIA '05 Proceedings of the 4th international workshop on Task models and diagrams
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Model driven security: From UML models to access control infrastructures
ACM Transactions on Software Engineering and Methodology (TOSEM)
UML-B: Formal modeling and design aided by UML
ACM Transactions on Software Engineering and Methodology (TOSEM)
Evolution of entity-relationship modelling
Data & Knowledge Engineering
Constructing Meta-CASE Workbenches by Exploiting Visual Language Generators
IEEE Transactions on Software Engineering
Reasoning on UML class diagrams
Artificial Intelligence
Graph building as a mining activity: finding links in the small
Proceedings of the 3rd international workshop on Link discovery
Modeling behavioral design patterns of concurrent objects
Proceedings of the 28th international conference on Software engineering
Model-based development of dynamically adaptive software
Proceedings of the 28th international conference on Software engineering
Tutorial: an overview of UML 2
Proceedings of the 28th international conference on Software engineering
Quality gates in use-case driven development
Proceedings of the 2006 international workshop on Software quality
Proceedings of the 2006 international workshop on Software engineering for automotive systems
Automatic test case generation for UML activity diagrams
Proceedings of the 2006 international workshop on Automation of software test
Conceptual process configurations in enterprise knowledge management systems
Proceedings of the 2006 ACM symposium on Applied computing
Collaborative architecture design and evaluation
DIS '06 Proceedings of the 6th conference on Designing Interactive systems
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
The design game in participatory design and design education: chances, risks and side effects
Proceedings of the ninth conference on Participatory design: Expanding boundaries in design - Volume 1
An initial hull structural modeling system for computer-aided process planning in shipbuilding
Advances in Engineering Software
Detection of anomalies in software architecture with connectors
Science of Computer Programming - Special issue on quality system and software architectures
Modeling a web-based remote monitoring and fault diagnosis system with UML and component technology
Journal of Intelligent Information Systems
Modeling events as entities in object-oriented conceptual modeling languages
Data & Knowledge Engineering - Special issue: ER 2004
Introducing a UML model for faster-than-real-time simulation
WSC '05 Proceedings of the 37th conference on Winter simulation
Formal specification of design patterns' relationships
ACST'06 Proceedings of the 2nd IASTED international conference on Advances in computer science and technology
System architecture to integrate and query XML data
Proceedings of the 43rd annual Southeast regional conference - Volume 1
SensorBus: a middleware model for wireless sensor networks
LANC '05 Proceedings of the 3rd international IFIP/ACM Latin American conference on Networking
Radiology interpretation process modeling
Journal of Biomedical Informatics
A neuro-fuzzy monitoring system application to flexible production systems
Computers in Industry - Special issue: E-maintenance
Software architecture at a large financial firm
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Using model-based security analysis in component-oriented system development
Proceedings of the 2nd ACM workshop on Quality of protection
Refactoring of an Ada 95 library with a Meta CASE tool
Proceedings of the 2006 annual ACM SIGAda international conference on Ada
Addressing concurrency in object-oriented software development
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
The importance of retrieval in creative design analogies
Knowledge-Based Systems
Reverse-engineering 1-n associations from Java bytecode using alias analysis
Information and Software Technology
An automated, FPGA-based reconfigurable, low-power RFID tag
Microprocessors & Microsystems
On the semantics of Alice&Bob specifications of security protocols
Theoretical Computer Science - Automated reasoning for security protocol analysis
A Genetic Hillclimbing Algorithm for the Optimal Linear Arrangement Problem
Fundamenta Informaticae
Data & Knowledge Engineering - Special issue: ER 2003
Nordic Journal of Computing - Selected papers of the fourth nordic workshop on UML and software modelling (NWUML'06), June 12-14, 2006
Science of Computer Programming
Estimating software complexity from UML models
ACM SIGSOFT Software Engineering Notes
Statecharts in the making: a personal account
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Automatic Synthesis Of Behavioral Object Specifications From Scenarios
Journal of Integrated Design & Process Science
Ownership as a conceptual modeling construct
Data & Knowledge Engineering
Optimizing data structures at the modeling level in embedded multimedia
Journal of Systems Architecture: the EUROMICRO Journal
Information Systems Research
CPM: A collaborative process modeling for cooperative manufacturers
Advanced Engineering Informatics
Control patterns in a healthcare network
dg.o '07 Proceedings of the 8th annual international conference on Digital government research: bridging disciplines & domains
Support for Managing Design-Time Decisions
IEEE Transactions on Software Engineering
UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Fixing Inconsistencies in UML Design Models
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Safety and Software Intensive Systems: Challenges Old and New
FOSE '07 2007 Future of Software Engineering
A Relational Framework For The Integration Of Specifications
Journal of Integrated Design & Process Science
Advanced Topics In Workflow Management: Issues, Requirements, And Solutions
Journal of Integrated Design & Process Science
Propositional Logic Constraint Patterns and Their Use in UML-Based Conceptual Modeling and Analysis
IEEE Transactions on Knowledge and Data Engineering
Using java reflection to automate extension language parsing
DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2
Design patterns for generic programming in C++
COOTS'01 Proceedings of the 6th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 6
Model-Based Software Design and Adaptation
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Visualizing Design Patterns in Their Applications and Compositions
IEEE Transactions on Software Engineering
A Petri Net Based Method for Refining Object Oriented System Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
A Design Methodology for Modeling Trustworthy Value Webs
International Journal of Electronic Commerce
Proceedings of the 20th annual conference on Integrated circuits and systems design
UML based embedded documentation for semi-automatic software development
ACM SIGSOFT Software Engineering Notes
Enhancing collaborative synchronous UML modelling with fine-grained versioning of software artefacts
Journal of Visual Languages and Computing
Radio frequency identification prototyping
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Specification of OCL constraints on ODP computational interfaces
AIC'07 Proceedings of the 7th Conference on 7th WSEAS International Conference on Applied Informatics and Communications - Volume 7
Using UML to develop knowledge-based system for adaptive scheduling
CEA'07 Proceedings of the 2007 annual Conference on International Conference on Computer Engineering and Applications
Automatic proof of refinement among design patterns using the TLC model checker
ACOS'07 Proceedings of the 6th Conference on WSEAS International Conference on Applied Computer Science - Volume 6
A conceptual model for business-oriented management of web services
SEPADS'07 Proceedings of the 6th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
Interaction signatures and action templates in the ODP computational viewpoint
SEPADS'07 Proceedings of the 6th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
ICCOMP'07 Proceedings of the 11th WSEAS International Conference on Computers
Database interoperability through state-based logical data independence
International Journal of Computer Applications in Technology
Shared data modeling with UML-G
International Journal of Computer Applications in Technology
State-oriented programming for TinyOS
Proceedings of the 2007 Summer Computer Simulation Conference
Large scale ontology visualisation using ontology extraction
International Journal of Web and Grid Services
e-Business cases assessment: from business value to system feasibility
International Journal of Web Engineering and Technology
Contributions to a public e-learning platform: infrastructure; architecture; frameworks; tools
International Journal of Learning Technology
Architectural Connectors for Sequence Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 2008 ACM symposium on Applied computing
An evaluation of a model-based testing method for information systems
Proceedings of the 2008 ACM symposium on Applied computing
Exploiting User-definable Synchronizations in Graph Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Answering common questions about code
Companion of the 30th international conference on Software engineering
Problem frames and business strategy modelling
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Journal of Integrated Design & Process Science
Recursive object model (ROM)-Modelling of linguistic information in engineering design
Computers in Industry
WOSP '08 Proceedings of the 7th international workshop on Software and performance
Ontological semantics for the use of UML in conceptual modeling
ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
International Journal of Computer Integrated Manufacturing
USING REENGINEERING FOR KNOWLEDGE-BASED SYSTEMS
Cybernetics and Systems
SwingStates: adding state machines to Java and the Swing toolkit
Software—Practice & Experience
A use case model extension for architectural patterns
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science,Software Engineering, Information Technology, e-Business, and Applications, 2003
An ArgoUML metamodel extension for the workflow systems
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2004
Transformational design of an interactive component straddling communication streams
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2004
Abstract vs. social roles - Towards a general theoretical account of roles
Applied Ontology - Roles, an interdisciplinary perspective
ORVPF - the Model and its DNC Implementation
Informatica
A mapping study on empirical evidence related to the models and forms used in the uml
Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement
An Agent-Based Model for Hierarchical Organizations
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Helping Software Engineers Reusing UML Class Diagrams
ICCBR '07 Proceedings of the 7th international conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
On the Modeling Timing Behavior of the System with UML(VR)
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part I
Systematic Analysis of Control Panel Interfaces Using Formal Tools
Interactive Systems. Design, Specification, and Verification
Symbolic Hybrid Programming Tool for Software Understanding
HAIS '08 Proceedings of the 3rd international workshop on Hybrid Artificial Intelligence Systems
Dynamic analysis of Ada programs for comprehension and quality measurement
Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference
A design automation and power estimation flow for RFID systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Implementation of a modified PCX image compression using java
WSEAS Transactions on Computers
Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities
CASCON '08 Proceedings of the 2008 conference of the center for advanced studies on collaborative research: meeting of minds
A method for modeling service management of e-Learning
WSEAS Transactions on Information Science and Applications
A Meta-model Approach to the Management of Hypertexts in Web Information Systems
ER '08 Proceedings of the ER 2008 Workshops (CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM) on Advances in Conceptual Modeling: Challenges and Opportunities
A wiki-based approach to method tailoring
Proceedings of the 3rd International Conference on the Pragmatic Web: Innovating the Interactive Society
A Methodology to Specify Multiagent Systems
KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
A Proposal of Adequate and Efficient Designing of UML Documents for Beginners
KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
Refinement and verification in component-based model-driven design
Science of Computer Programming
Development of a dynamical software for doing geometrical constructions
AIC'08 Proceedings of the 8th conference on Applied informatics and communications
A modeling method for service management of e-Learning
AIC'08 Proceedings of the 8th conference on Applied informatics and communications
Extraction Process Specification for Materialized Ontology Views
Advances in Web Semantics I
Visual interactive environment for doing geometrical constructions
WSEAS Transactions on Computers
An integrated distributed processing approach for e-commerce system design and development
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
An entity-based integration framework for modeling and evaluating data enhancement products
Journal of Computing Sciences in Colleges
Beyond Ontology in Information Systems
QI '09 Proceedings of the 3rd International Symposium on Quantum Interaction
International Journal of Information Technology and Management
Object-oriented methodology for intersection simulation model under heterogeneous traffic conditions
Advances in Engineering Software
Coordination analysis: a method for deriving use cases from process dependencies
Proceedings of the 4th International Conference on Design Science Research in Information Systems and Technology
Formal Semantics and OntologiesTowards an Ontological Account of Formal Semantics
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
Complexity of Reasoning With Expressive Ontology Mappings
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
A Model for Describing and Annotating Documents
Proceedings of the 2006 conference on Information Modelling and Knowledge Bases XVII
Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
Proceedings of the 2005 conference on Multi-Relational Data Mining
An Approach to Software Design Reuse Using Case-Based Reasoning and WordNet
Proceedings of the 2006 conference on Integrated Intelligent Systems for Engineering Design
Developing parallel programs: A design-oriented perspective
IWMSE '09 Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering
Vivid: A framework for heterogeneous problem solving
Artificial Intelligence
Integrating top-down and scenario-based methods for constructing software specifications
Information and Software Technology
Realization of an interactive informatical system for the quadric surfaces study
ICCOMP'09 Proceedings of the WSEAES 13th international conference on Computers
Development of interactive software for teaching three-dimensional analytic geometry
DIWEB'09 Proceedings of the 9th WSEAS international conference on Distance learning and web engineering
Information and Software Technology
Malai: un modèle conceptuel d'interaction pour les systèmes interactifs
Proceedings of the 21st International Conference on Association Francophone d'Interaction Homme-Machine
jSynoPSys -- A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines
Electronic Notes in Theoretical Computer Science (ENTCS)
Drawing graphs with nonuniform nodes using potential fields
Journal of Visual Languages and Computing
An annotation type system for a data-driven NLP pipeline
LAW '07 Proceedings of the Linguistic Annotation Workshop
Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Reasoning on UML class diagrams
Artificial Intelligence
Proceedings of the 2009 International Conference on Hybrid Information Technology
MDA-based tool chain for web services development
Proceedings of the 4th Workshop on Emerging Web Services Technology
Proceedings of the ACM SIGAda annual international conference on Ada and related technologies
On the complexities of consistency checking for restricted UML class diagrams
Theoretical Computer Science
Reduction rules for reset/inhibitor nets
Journal of Computer and System Sciences
Towards unified modelling of product life-cycles
Computers in Industry
A systematic evaluation of the C4ISR AF using ISO15704 Annex A (GERAM)
Computers in Industry
Propositional Statecharts for Agent Interaction Protocols
Electronic Notes in Theoretical Computer Science (ENTCS)
Reusable Idioms and Patterns in Graph Transformation Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
A Coalgebraic Semantic Framework for Component-based Development in UML
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)
Finite Elements in Analysis and Design
Supporting use case based requirements engineering
Information and Software Technology
A construction method for the ontology of customer information in consumer support systems
E-ACTIVITIES'09/ISP'09 Proceedings of the 8th WSEAS International Conference on E-Activities and information security and privacy
Close integration between UML and IEC 61131-3: new possibilities through object-oriented extensions
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Journal of Visual Languages and Computing
User interface prototyping based on UML scenarios and high-level Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Integrating model checking and HCI tools to help designers verify user interface properties
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Collaborative social structures and task modelling integration
DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification
Model-based support for specifying eService eGovernment applications
TAMODIA'06 Proceedings of the 5th international conference on Task models and diagrams for users interface design
An object-oriented dialog system for use in computer-aided teaching
ICWE'03 Proceedings of the 2003 international conference on Web engineering
Modeling organizational architectural styles in UML
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Observed-MAS: an ontology-based method for analyzing multi-agent systems design models
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
Coloured Petri nets in development of a pervasive health care system
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Class-level modular analysis for object oriented languages
SAS'03 Proceedings of the 10th international conference on Static analysis
Noun sense disambiguation with wordnet for software design retrieval
AI'03 Proceedings of the 16th Canadian society for computational studies of intelligence conference on Advances in artificial intelligence
Evaluation of case-based maintenance strategies in software design
ICCBR'03 Proceedings of the 5th international conference on Case-based reasoning: Research and Development
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
Capturing overlapping, triggered, and preemptive collaborations using MSCs
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Let's modularize the data model specifications of the ObjectLens in VisualWorks/Smalltalk
ISC'06 Proceedings of the 14th international conference on Advances in smalltalk
Low-level dynamic system formation with high-level automation: extending UML in support of UPnP
ACM SIGSOFT Software Engineering Notes
X-ray: towards integrating XML and relational database systems
ER'00 Proceedings of the 19th international conference on Conceptual modeling
A conceptual model for remote data acquisition systems
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Object-oriented modelling in practice: class model perceptions in the ERM context
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Behavior consistent inheritance in UML
ER'00 Proceedings of the 19th international conference on Conceptual modeling
The viewpoint abstraction in object-oriented modeling and the UML
ER'00 Proceedings of the 19th international conference on Conceptual modeling
XML conceptual modeling using UML
ER'00 Proceedings of the 19th international conference on Conceptual modeling
From use cases to system operation specifications
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
On the extension of UML with use case maps concepts
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
HyperMSCs and sequence diagrams for use case modelling and testing
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Processes, roles, and events: UML concepts for enterprise architecture
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
A radical revision of UML's role concept
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Contextual diagrams as structuring mechanisms for designing configuration knowledge bases in UML
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Consistent behaviour representation in activity and sequence diagrams
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Towards a UML profile for software architecture descriptions
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Modeling of architectures with UML panel
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Inter-agent communication in cooperative information agent-based systems
CIA'99 Proceedings of the 3rd international conference on Cooperative information agents III
Automatic test generation with AGATHA
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Extending architectural representation in UML with view integration
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond 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
Viewing the OML as a variant of the UML
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
Tool-supported compression of UML class diagrams
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Modeling dynamic software components in UML
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
A classification of stereotypes for object-oriented modeling languages
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
On the behavior of complex object-oriented systems
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
Formalising UML state machines for model checking
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
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Timing analysis of UML sequence diagrams
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
The normal object form: bridging the gap from models to code
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
Verifying smart card applications: an ASM approach
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
On relating heterogeneous elements from different ontologies
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
Iterative software engineering for multiagent systems: the MASSIVE method
Iterative software engineering for multiagent systems: the MASSIVE method
A semantic paradigm for component-based specification integrating a notion of security risk
FAST'06 Proceedings of the 4th international conference on Formal aspects in security and trust
Testable requirements for offshore outsourcing
SEAFOOD'07 Proceedings of the 1st international conference on Software engineering approaches for offshore and outsourced development
Complex software problem solving by means of abstractive techniques
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Towards pattern-oriented design of agent-based simulation models
MATES'09 Proceedings of the 7th German conference on Multiagent system technologies
COMP-REF: a technique to guide the delegation of responsibilities to components in software systems
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
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
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Metaphor modeling on the semantic web
Active conceptual modeling of learning
Formal methods and hybrid real-time systems
Developing the KMKE knowledge management system based on design patterns and parallel processing
ICIC'09 Proceedings of the 5th international conference on Emerging intelligent computing technology and applications
Requirements Engineering Visualization: A Survey on the State-of-the-Art
REV '09 Proceedings of the 2009 Fourth International Workshop on Requirements Engineering Visualization
A Generic Approach to Connector Architectures Part I: The General Framework
Fundamenta Informaticae
Requirements engineering for large-scale multi-agent systems
Software engineering for large-scale multi-agent systems
The pragmatics of software agents: analysis and design of agent communication languages
Intelligent information agents
Security & scalability architecture for next generation internet services
IMSAA'09 Proceedings of the 3rd IEEE international conference on Internet multimedia services architecture and applications
TELE-INFO'10 Proceedings of the 9th WSEAS international conference on Telecommunications and informatics
Transformation of UML activity diagrams into analyzable systems and software blueprints construction
WSEAS Transactions on Information Science and Applications
A conceptual framework for designing service-oriented inter-organizational information systems
Proceedings of the 2010 Symposium on Information and Communication Technology
ITHET'10 Proceedings of the 9th international conference on Information technology based higher education and training
WSEAS Transactions on Computers
Benefits and challenges in developing warship simulator based on DEVS formalism
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
A state/event-based model-checking approach for the analysis of abstract system properties
Science of Computer Programming
Managing the evolution of distributed and interrelated components
SCM'01/SCM'03 Proceedings of the 2001 ICSE Workshops on SCM 2001, and SCM 2003 conference on Software configuration management
Testing techniques in software engineering
Testing techniques in software engineering
On compiler error messages: what they say and what they mean
Advances in Human-Computer Interaction
Designing for schedulability: integrating schedulability analysis with object-oriented design
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Business process management with unified modeling language
DNCOCO'06 Proceedings of the 5th WSEAS international conference on Data networks, communications and computers
OCL for the ODP information viewpoint specifications
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
UML design of a system for coordinated care of mentally ill patients after discharge to home
ICCOMP'10 Proceedings of the 14th WSEAS international conference on Computers: part of the 14th WSEAS CSCC multiconference - Volume II
Using service responsibility tables to supplement UML in analyzing e-service systems
Decision Support Systems
The architecture description language model
Graph transformations and model-driven engineering
The lazy initialization multilayered modeling framework (NIER track)
Proceedings of the 33rd International Conference on Software Engineering
E-learning frameworks: facilitating the implementation of educational design patterns
International Journal of Technology Enhanced Learning
A semantics for Behavior Trees using CSP with specification commands
Science of Computer Programming
Object oriented development of an interactive software for studying of circle using UML diagrams
ECC'11 Proceedings of the 5th European conference on European computing conference
The brave new world of design requirements
Information Systems
DESRIST'11 Proceedings of the 6th international conference on Service-oriented perspectives in design science research
Encoding OCL data types for SAT-based verification of UML/OCL models
TAP'11 Proceedings of the 5th international conference on Tests and proofs
Concepts and diagram elements for architectural knowledge management
Proceedings of the 5th European Conference on Software Architecture: Companion Volume
State complexity research and approximation
DLT'11 Proceedings of the 15th international conference on Developments in language theory
CEE-SET'08 Proceedings of the Third IFIP TC 2 Central and East European conference on Software engineering techniques
Feasibility of Stepwise Design of Multitolerant Programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
A generic framework: from modeling to code
Innovations in Systems and Software Engineering
A rule markup language and its application to UML
ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
Using XML transformations for enterprise architectures
ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
Research on cooperative workflow management systems
CSCWD'04 Proceedings of the 8th international conference on Computer Supported Cooperative Work in Design I
EC-TEL'06 Proceedings of the First European conference on Technology Enhanced Learning: innovative Approaches for Learning and Knowledge Sharing
Runtime verification of java programs for scenario-based specifications
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Transformation-Driven development of composite web services
ISPA'05 Proceedings of the 2005 international conference on Parallel and Distributed Processing and Applications
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Formal model-driven development of communicating systems
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
A predicative semantic model for integrating UML models
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Model checking dynamic UML consistency
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Visually defining and querying consistent multi-granular clinical temporal abstractions
Artificial Intelligence in Medicine
Modelling of complex software systems: a reasoned overview
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Scenario-Based timing consistency checking for time petri nets
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas
Data & Knowledge Engineering
Model of generating SMIL document using temporal scripts of animation component
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part V
A method for information systems testing automation
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Symbolic animation of JML specifications
FM'05 Proceedings of the 2005 international conference on Formal Methods
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Virtuose, a VIRTual community open source engine for integrating civic networks and digital cities
Digital Cities'03 Proceedings of the Third international conference on Information Technologies for Social Capital: cross-Cultural Perspectives
Maintaining life perspectives during the refinement of UML class structures
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
Consistency checking of concurrent models for scenario-based specifications
SDL'05 Proceedings of the 12th international conference on Model Driven
Algebraic properties of interfaces
Formal Methods in Software and Systems Modeling
Towards architectural connectors for UML
Formal Methods in Software and Systems Modeling
Specifying and verifying UML activity diagrams via graph transformation
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
A UML profile for OWL ontologies
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
Consistency checking algorithms for restricted UML class diagrams
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
SAMOS'05 Proceedings of the 5th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
Checking JML specifications with b machines
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Annotations as context for searching documents
CoLIS'05 Proceedings of the 5th international conference on Context: conceptions of Library and Information Sciences
Fact-orientation meets agent-orientation
AOIS'04 Proceedings of the 6th international conference on Agent-Oriented Information Systems II
Reuse in semantic applications
Proceedings of the First international conference on Reasoning Web
On refinement of software architectures
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Modeling composition in dynamic programming environments with model transformations
SC'06 Proceedings of the 5th international conference on Software Composition
Formal service-oriented development of fault tolerant communicating systems
Rigorous Development of Complex Fault-Tolerant Systems
Object technology – a grand narrative?
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
A step towards merging xUML and CSP || B
Rigorous Methods for Software Construction and Analysis
On horizontal specification architectures and their aspect-oriented implementations
Transactions on Aspect-Oriented Software Development II
Applied formal methods – from CSP to executable hybrid specifications
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Transforming stream processing functions into state transition machines
SERA'04 Proceedings of the Second international conference on Software Engineering Research, Management and Applications
The high level design of object-oriented user interfaces: a review of methods
CHINZ '02 Proceedings of the SIGCHI-NZ Symposium on Computer-Human Interaction
Solving the mapping problem in user interface design by seamless integration in IDEALXML
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
Lessons learned applying UML in the design of mission critical software
UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications
Experiences in modeling for a domain specific language
UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications
Managed architecture of existing code as a practical transition towards MDA
UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications
MMDiff: a modeling tool for metamodel comparison
Proceedings of the 50th Annual Southeast Regional Conference
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Lessons learned applying UML in the design of mission critical software
UML Modeling Languages and Applications
Experiences in modeling for a domain specific language
UML Modeling Languages and Applications
Managed architecture of existing code as a practical transition towards MDA
UML Modeling Languages and Applications
An overview of the SystemB collaborative project
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
Statecharts as protocols for objects
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
On the automatic verification of non-standard measures of consistency
IWFM'03 Proceedings of the 6th international conference on Formal Methods
Timing analysis of scenario-based specifications using linear programming
Software Testing, Verification & Reliability
A type system for static and dynamic checking of C++ pointers
Computer Languages, Systems and Structures
Exploring design principles of task elicitation systems for unrestricted natural language documents
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
Generating UML diagrams from task models
CHINZ '03 Proceedings of the 4th Annual Conference of the ACM Special Interest Group on Computer-Human Interaction
Information system analysis of an e-learning system used for dental restorations simulation
Computer Methods and Programs in Biomedicine
Personalization for unobtrusive service interaction
Personal and Ubiquitous Computing
A model-driven methodology to the content layout problem in web applications
ACM Transactions on the Web (TWEB)
Scenario-based testing using symbolic animation of B models
Software Testing, Verification & Reliability
Abstract vs. social roles - Towards a general theoretical account of roles
Applied Ontology - Roles, an interdisciplinary perspective
Medical protocol diagnosis using formal methods
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
Comprehensive two-level analysis of role-based delegation and revocation policies with UML and OCL
Information and Software Technology
Assisted behavior driven development using natural language processing
TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
A Genetic Hillclimbing Algorithm for the Optimal Linear Arrangement Problem
Fundamenta Informaticae
Abstraction and Control for Shapely Nested Graph Transformation
Fundamenta Informaticae - The First International Conference on Graph Transformation (ICGT 2002)
A Lightweight Method for Automated Design of Convergence in Network Protocols
ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special Section: Extended Version of SASO 2011 Best Paper
CMMI based software metrics to evaluate OOAD
Proceedings of the Second International Conference on Computational Science, Engineering and Information Technology
Software and Systems Modeling (SoSyM)
Building a support framework for enterprise integration
Computers in Industry
Achieving interoperability in synchronous digital hierarchy network management through RM-ODP
Computer Standards & Interfaces
Modeling Approach for Integration and Evolution of Information System Conceptualizations
International Journal of Information System Modeling and Design
An effective and secure web banking system: development and evaluation
International Journal of Business Information Systems
Research Review: A Systematic Literature Review on the Quality of UML Models
Journal of Database Management
Business Rule Management for Enterprise Information Systems
Information Resources Management Journal
An algorithm for transforming design text ROM diagram into FBS model
Computers in Industry
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
A Methodology to Bridge Information Gap in ERP Implementation Life Cycle
International Journal of Enterprise Information Systems
Modeling stroke rehabilitation processes using the Unified Modeling Language (UML)
Computers in Biology and Medicine
Journal of Integrated Design & Process Science
WeCoTin --A practical logic-based sales configurator
AI Communications - Intelligent Engineering Techniques for Knowledge Bases
A type-theoretical approach for ontologies: The case of roles
Applied Ontology
A method to evaluate differences between student UML class diagrams
Journal of Computing Sciences in Colleges
Hi-index | 0.02 |