Proceedings of the 1997 symposium on Software reusability
Model checking of hierarchical state machines
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Modeling time from a conceptual perspective
Proceedings of the seventh international conference on Information and knowledge management
Exercises for teaching logic in a formal methods course: formalizing ERDs
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
An architectural style for multiple real-time data feeds
Proceedings of the 21st international conference on Software engineering
Architecting for large-scale systematic component reuse
Proceedings of the 21st international conference on Software engineering
Proceedings of the 21st international conference on Software engineering
Utilizing patterns and pattern languages in education
Annals of Software Engineering - Special issue on software engineering education
Communications of the ACM
Designing component-based frameworks using patterns in the UML
Communications of the ACM
Turning clockwise: using UML in the real-time domain
Communications of the ACM
UMLoquent expression of AWACS software design
Communications of the ACM
Modeling Web application architectures with UML
Communications of the ACM
Using UML for software process modeling
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Towards a UML based approach to role engineering
RBAC '99 Proceedings of the fourth ACM workshop on Role-based access control
Specifying analysis patterns for geographic databases on the basis of a conceptual framework
Proceedings of the 7th ACM international symposium on Advances in geographic information systems
Spatio-temporal conceptual models: data structures + space + time
Proceedings of the 7th ACM international symposium on Advances in geographic information systems
Subject-oriented design: towards improved alignment of requirements, design, and code
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Atlas: a case study in building a web-based learning environment using aspect-oriented programming
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Networked simulation with HLA and MODSIM III
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 2
Modular refinement of hierarchic reactive machines
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A database driven server for an Internet based plant layout presentation system
VRML '00 Proceedings of the fifth symposium on Virtual reality modeling language (Web3D-VRML)
Modeling industrial embedded systems with UML
CODES '00 Proceedings of the eighth international workshop on Hardware/software codesign
Frequency interleaving as a codesign scheduling paradigm
CODES '00 Proceedings of the eighth international workshop on Hardware/software codesign
Automatic generation of RDBMS based applications from object oriented design schemes
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Object-oriented modeling: a roadmap
Proceedings of the Conference on The Future of Software Engineering
An agent approach to alleviating packaging mismatch
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
Integrating UML diagrams for production control systems
Proceedings of the 22nd international conference on Software engineering
Implementing incremental code migration with XML
Proceedings of the 22nd international conference on Software engineering
Proceedings of the 22nd international conference on Software engineering
Designing real-time and distributed applications with the UML (tutorial session)4
Proceedings of the 22nd international conference on Software engineering
Reverse engineering of use case realizations in UML
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
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
AVI '00 Proceedings of the working conference on Advanced visual interfaces
A UML tool for an automatic generation of simulation programs
Proceedings of the 2nd international workshop on Software and performance
Proceedings of the 2nd international workshop on Software and performance
Design patterns in performance prediction
Proceedings of the 2nd international workshop on Software and performance
intelligence
Using a coordination language to specify and analyze systems containing mobile components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Completeness in formal specification language design for process-control systems
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Communications of the ACM
Component-based enterprise frameworks
Communications of the ACM
A knowledge-based method for inferring semantic concepts from visual models of system behavior
ACM Transactions on Software Engineering and Methodology (TOSEM)
The use of object-oriented models in requirements engineering: a field study
ICIS '99 Proceedings of the 20th international conference on Information Systems
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Designing robust Java programs with exceptions
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
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
Proceedings of the 3rd ACM international workshop on Data warehousing and OLAP
Ninth International Conference on Information and Knowledge Management
Design and implementation of an interoperable GIS-interface for grid data
Proceedings of the 8th ACM international symposium on Advances in geographic information systems
UML for undergraduate software engineering
CCSC '00 Proceedings of the fifth annual CCSC northeastern conference on The journal of computing in small colleges
A methodology for interfacing open source systemC with a third party software
Proceedings of the conference on Design, automation and test in Europe
Global reuse strategy based on use cases (poster session)
OOPSLA '00 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
Component visualization based on programmer's conceptual models (poster session)
OOPSLA '00 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
Agent-oriented software engineering: the state of the art
First international workshop, AOSE 2000 on Agent-oriented software engineering
Issues in agent-oriented software engineering
First international workshop, AOSE 2000 on Agent-oriented software engineering
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
Object oriented framework development
Crossroads
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
A knowledge level software engineering methodology for agent oriented programming
Proceedings of the fifth international conference on Autonomous agents
The Communication Bottleneck in Knitwear Design: Analysis and Computing Solutions
Computer Supported Cooperative Work
Requirements for an educational software development process
Proceedings of the 6th annual conference on Innovation and technology in computer science education
Object orientation in hierarchical predicate transition nets
Concurrent object-oriented programming and petri nets
Automation support for software performance engineering
Proceedings of the 2001 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Analysis and testing of Web applications
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A component-based approach to building formal analysis tools
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A workbench for synthesising behaviour models from scenarios
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Conceptual modeling through linguistic analysis using LIDA
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Designing concurrent, distributed, and real-time applications with UML
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Visualization and interpretation of analysis results within the context of formalized UML diagrams
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Role-based access control on the web
ACM Transactions on Information and System Security (TISSEC)
Aspect-oriented programming with adaptive methods
Communications of the ACM
MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
GUI prototype generation by merging use cases
Proceedings of the 7th international conference on Intelligent user interfaces
Model checking of hierarchical state machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
The intuitionism behind Statecharts steps
ACM Transactions on Computational Logic (TOCL)
Modeling software architectures in the Unified Modeling Language
ACM Transactions on Software Engineering and Methodology (TOSEM)
Building parallel applications using design patterns
Advances in software engineering
The SPOOL design repository: architecture, schema, and mechanisms
Advances in software engineering
Customizable output generation in modeling environments using pipelined domains
ACM SIGSOFT Software Engineering Notes
A scenario-driven role engineering process for functional RBAC roles
SACMAT '02 Proceedings of the seventh ACM symposium on Access control models and technologies
Obvious or not?: regulating architectural decisions using aspect-oriented programming
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
A UML-based aspect-oriented design notation for AspectJ
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
Proceedings of the 2002 ACM symposium on Applied computing
Proceedings of the 2002 ACM symposium on Applied computing
An approach to integrating semi-formal and formal notations in software specification
Proceedings of the 2002 ACM symposium on Applied computing
Toward a standard process: the use of UML for designing simulation models
Proceedings of the 32nd conference on Winter simulation
Proceedings of the 32nd conference on Winter simulation
Simulation modeling and the web: Simfone': an object-oriented simulation framework
Proceedings of the 32nd conference on Winter simulation
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
A comparison of case-based reasoning approaches
Proceedings of the 11th international conference on World Wide Web
Requirements and research issues in geographic data modeling
Proceedings of the 9th ACM international symposium on Advances in geographic information systems
GeoFrame-T: a temporal conceptual framework for data modeling
Proceedings of the 9th ACM international symposium on Advances in geographic information systems
5SL: a language for declarative specification and generation of digital libraries
Proceedings of the 2nd ACM/IEEE-CS joint conference on Digital libraries
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
Metadata management in federated multimedia systems
ADC '02 Proceedings of the 13th Australasian database conference - Volume 5
ADC '02 Proceedings of the 13th Australasian database conference - Volume 5
Three dimensional UML using force directed layout
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
Knowledge-Based Automation of a Design Method for Concurrent Systems
IEEE Transactions on Software Engineering
Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System
IEEE Transactions on Software Engineering
Automatic Model Transformations Using Extended UML Object Diagrams in Modeling Environments
IEEE Transactions on Software Engineering
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
Formal methods for distributed processing
Finite state machine based: SDL
Formal methods for distributed processing
Formal methods for distributed processing
Dynamic analysis for reverse engineering and program understanding
ACM SIGAPP Applied Computing Review
Information systems development through social structures
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Constraint checking in UML modeling
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Design of knowledge-based systems with the ontology-domain-system approach
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
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
A support system to COTS-based software development for business services
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
Assessment of software architectures: a case study
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
An IDL to Ada95 mapping to support propagation modeling
ACM SIGAda Ada Letters
Performance-related completions for software specifications
Proceedings of the 24th International Conference on Software Engineering
Proceedings of the 24th International Conference on Software Engineering
Assuring and evolving concurrent programs: annotations and policy
Proceedings of the 24th International Conference on Software Engineering
A semantic network-based design methodology for XML documents
ACM Transactions on Information Systems (TOIS)
Implementing distribution and persistence aspects with aspectJ
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Conceptual modeling for ETL processes
Proceedings of the 5th ACM international workshop on Data Warehousing and OLAP
Analysing software requirements specifications for performance
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Performance analysis of time-enhanced UML diagrams based on stochastic processes
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Use of a CORBA/RMI gateway: characterization of communication overhead
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
PASASM: a method for the performance assessment of software architectures
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
An approach to schedulability analysis of UML-based real-time systems design
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
PRIMAmob-UML: a methodology for performance analysis of mobile software architectures
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
From desgign patterns to parallel architectural skeletons
Journal of Parallel and Distributed Computing
Taming access control security: extending capabilities using the views relationship
Software—Practice & Experience
SIGUCCS '02 Proceedings of the 30th annual ACM SIGUCCS conference on User services
Toward a discipline of scenario-based architectural engineering
Annals of Software Engineering
Modeling software evolution by evolving interoperation graphs
Annals of Software Engineering
Experiences Using Domain Specific Techniques within Multimedia Software Engineering
Annals of Software Engineering
Annals of Software Engineering
Engineering Web-Based Systems with UML Assets
Annals of Software Engineering
Testing Processes of Web Applications
Annals of Software Engineering
Automatic Verification of Static Policies on Software Process Models
Annals of Software Engineering
Product and project challenges in electronic commerce software development
ACM SIGMIS Database
Logic Control and “Reactive” Systems: Algorithmization and Programming
Automation and Remote Control
Executing Formal Specifications with Concurrent Constraint Programming
Automated Software Engineering
A Model to Evaluate the Effect of Organizational Adaptation
Computational & Mathematical Organization Theory
Process Specialization: Defining Specialization for State Diagrams
Computational & Mathematical Organization Theory
Developing Instructional Web Sites – A Software Engineering Approach
Education and Information Technologies
Empirical Studies Applied to Software Process Models
Empirical Software Engineering
Empirical Software Engineering
Empirical Evaluation of Aesthetics-based Graph Layout
Empirical Software Engineering
Picking the Right Problem Frame—An Empirical Study
Empirical Software Engineering
Replicating the CREWS Use Case Authoring Guidelines Experiment
Empirical Software Engineering
Manufacturing in the Digital Age: Exploiting Information Technologies for Product Realization
Information Systems Frontiers
Research Frontiers in Object Technology
Information Systems Frontiers
Designing Scientific Knowledge Infrastructures: The Contribution of Epistemology
Information Systems Frontiers
Domain Modelling and the Co-Design of Business Rules in the Telecommunication Business Area
Information Systems Frontiers
Information Technology and Management
SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems
Programming and Computing Software
On Verifying Distributed Multithreaded Java Programs
Software Quality Control
Evolutionary modelling of software systems: its application to agent-based and hypermedia systems
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
Role of concepts in software evolution
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
A platform-neutral live IP/TV presentation system
Information Sciences—Informatics and Computer Science: An International Journal - Special issue: Interactive virtual environments and distance education
Requirements specifications checking of embedded real-time software
Journal of Computer Science and Technology
Verification of Hierarchical State/Event Systems using Reusability and Compositionality
Formal Methods in System Design
Automated abstraction of class diagrams
ACM Transactions on Software Engineering and Methodology (TOSEM)
Performance-steered design of software architectures for embedded multicore systems
Software—Practice & Experience
Modular architecture for a toolset supporting OCL
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
PRIMA-UML: a performance validation incremental methodology on early UML diagrams
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
Specification-based Testing for Gui-based Applications
Software Quality Control
Behavioral Models of Business Systems
Automation and Remote Control
Web Data Integration for E-Commerce Applications
IEEE MultiMedia
A Pattern for Softcoded Values
Computer
A Comparative Study of Various Nested Normal Forms
IEEE Transactions on Knowledge and Data Engineering
POEMS: End-to-End Performance Design of Large Parallel Adaptive Computational Systems
IEEE Transactions on Software Engineering
Architecture-Based Performance Analysis Applied to a Telecommunication System
IEEE Transactions on Software Engineering
A Method for Design and Performance Modeling of Client/Server Systems
IEEE Transactions on Software Engineering
A Layered Architecture for Uniform Version Management
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Sweeping away disorder with the broom alignment tool
CHI '99 Extended Abstracts on Human Factors in Computing Systems
Towards requirements-driven information systems engineering: the Tropos project
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Using UML to specify QoS constraints in ODP
Computer Networks: The International Journal of Computer and Telecommunications Networking
CTTE: support for developing and analyzing task models for interactive system design
IEEE Transactions on Software Engineering
Journal of Software Maintenance: Research and Practice
Graph-based tools for re-engineering
Journal of Software Maintenance: Research and Practice
An open animation tool: application to telecommunication systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Protocol animation
A new generation of communication aids under the ULYSSES component-based framework
Proceedings of the fifth international ACM conference on Assistive technologies
PPPJ '02/IRE '02 Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002
Which use for Java in introductory courses?
PPPJ '02/IRE '02 Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002
A brief history of the object-oriented approach
ACM SIGSOFT Software Engineering Notes
Biocomputation: modeling and analyzing biomolecular networks
Computing in Science and Engineering
Formal software specification with refinements and modules of typed graph transformation systems
Journal of Computer and System Sciences
ViSta: a tool suite for the visualization of behavioral requirements
Journal of Systems and Software
Automatically verifying an object-oriented specification of the steam-boiler system
Science of Computer Programming - Special issure on formal methods for industrial critical systems (FMICS 2000)
Task Descriptions as Functional Requirements
IEEE Software
IEEE Transactions on Software Engineering
A Scenario-Driven Approach to Trace Dependency Analysis
IEEE Transactions on Software Engineering
Iterative Reengineering of Legacy Systems
IEEE Transactions on Software Engineering
The Ragnarok software development environment
Nordic Journal of Computing
Identifying object-oriented features from procedural software
Nordic Journal of Computing
Decorating tokens to facilitate recognition of ambiguous language constructs
Software—Practice & Experience
Annals of cases on information technology
Exceptions in object modeling: finding exceptions from the elements of the static object model
Advances in exception handling techniques
A Framework for Modeling Strategy, Business Processes and Information Systems
EDOC '01 Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing
Improving Software Quality in Product Families through Systematic Reengineering
ECSQ '02 Proceedings of the 7th International Conference on Software Quality
A One-Stop Government Prototype Based on Use Cases and Scenarios
EGOV '02 Proceedings of the First International Conference on Electronic Government
Derivation of Backup Service Management Applications from Service and System Models
DSOM '99 Proceedings of the 10th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management: Active Technologies for Network and Service Management
A Model for Describing Object-Oriented Systems from Multiple Perspectives
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
A Formal Approach to Heterogeneous Software Modeling
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
A Case Study in Using Protégé-2000 as a Tool for CommonKADS
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
A CSP View on UML-RT Structure Diagrams
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
A Really Useful Vectorization Algorithm
GREC '99 Selected Papers from the Third International Workshop on Graphics Recognition, Recent Advances
Using PDES to Simulate Individual-Oriented Models in Ecology: A Case Study
ICCS '02 Proceedings of the International Conference on Computational Science-Part I
Jacob - An Animated Instruction Agent in Virtual Reality
ICMI '00 Proceedings of the Third International Conference on Advances in Multimodal Interfaces
Peer-to-Peer beyond File Sharing
IICS '02 Proceedings of the Second International Workshop on Innovative Internet Computing Systems
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
Failure Behavior Analysis for Reliable Distributed Embedded Systems
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Composition and Refinement for Partial Object Specifications
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Boxed Economy Foundation Model: Model Framework for Agent-Based Economic Simulations
Proceedings of the Joint JSAI 2001 Workshop on New Frontiers in Artificial Intelligence
UML Modelling of Device-Independent Interfaces and Services for a Home Environment Application
Mobile HCI '02 Proceedings of the 4th International Symposium on Mobile Human-Computer Interaction
Requirements Capture Workflow in Global Information Systems
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
Associative Modeling and Programming
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
Trust Objects in Electronic Commerce Transactions
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
Methodological Approach to Software Quality Assurance through High-Level Object-Oriented Metrics
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
A Logic-Based Information System
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
Generation of Object Models for Information Systems from Business System Models
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
Flexible Object-Oriented Views Using Method Propagation
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
Reflective Analysis and Design for Adapting Object Run-Time Behavior
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
Towards a New Role Paradigm for Object-Oriented Modeling
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
And/Or Hierarchies and Round Abstraction
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Regular Collections of Message Sequence Charts
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Guidelines for NL-Based Requirements Specifications in NIBA
NLDB '00 Proceedings of the 5th International Conference on Applications of Natural Language to Information Systems-Revised Papers
Interactive Rule-Based Specification with an Application to Visual Language Definition
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
WAIM '00 Proceedings of the First International Conference on Web-Age Information Management
Context-Based Prefetch for Implementing Objects on Relations
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
An Approach for Mixed Upward Planarization
WADS '01 Proceedings of the 7th International Workshop on Algorithms and Data Structures
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)
COMPSAC '00 24th International Computer Software and Applications Conference
Function Point Measurement for Object-Oriented Requirements Specification
COMPSAC '00 24th International Computer Software and Applications Conference
Supporting the Partitioning of Distributed Systems with Function-Class Decomposition
COMPSAC '00 24th International Computer Software and Applications Conference
Development of XML-Based Software and Service Commerce Language XSCL and Javabeans Player
COMPSAC '00 24th International Computer Software and Applications Conference
Formalizing UML Class Diagrams: A Hierarchical Predicate Transition Net Approach
COMPSAC '00 24th International Computer Software and Applications Conference
COMPSAC '00 24th International Computer Software and Applications Conference
Evaluating the Intelligibility of Diagrammatic Languages Used in the Specification of Software
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Experimenting with Aesthetics-Based Graph Layout
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Towards Team-Automata-Driven Object-Oriented Collaborative Work
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Algebraic Support for Service-Oriented Architecture
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Modeling the Behavior of OLAP Applications Using an UML Compilant Approach
ADVIS '00 Proceedings of the First International Conference on Advances in Information Systems
An ASM Semantics for UML Activity Diagrams
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Expressing Graphical User's Input for Test Specifications
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
Copying and Comparing: Problems and Solutions
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
Distance Measures for Information System Reengineering
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
StateLator - Behavioral Code Generation as an Instance of a Model Transformation
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Quality and Understandability of Use Case Models
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Temporally Faithful Execution of Business Transactions
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
An Overview of RoZ: A Tool for Integrating UML and Z Specifications
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Design and Implementation of a UML-Based Design Repository
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Using a Metadata Software Layer in Information Systems Integration
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
From User Requirements to User Interfaces: A Methodological Approach
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Coordination Technologies for Managing Information System Evolution
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
An Object-Oriented Approach to Automate Web Applications Development
EC-Web 2001 Proceedings of the Second International Conference on Electronic Commerce and Web Technologies
Automatic Synthesis of Agent Designs in UML
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
A Notation for Component-Based Design of Java Applications
FIDJI '01 Revised Papers from the International Workshop on Scientific Engineering for Distributed Java Applications
Generating Pattern-Based Web Tutorials for Java Frameworks
FIDJI '01 Revised Papers from the International Workshop on Scientific Engineering for Distributed Java Applications
Communicating Hierarchical State Machines
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Modeling a Support Framework for Dynamic Organizations as a Process Pattern Using UML
EWSPT '01 Proceedings of the 8th European Workshop on Software Process Technology
Integrating Semantics for Object-Oriented System Models
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Realizability and Verification of MSC Graphs
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
SFI: A Refinement Based Layered Software Architecture
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Formal Modelling of Java GUI Event Handling
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Using Transition Systems to Unify UML Models
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
On Message Sequence Graphs and Finitely Generated Regular MSC Languages
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Translating Imperative Affine Nested Loop Programs into Process Networks
Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation - SAMOS
UPPAAL - Now, Next, and Future
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Model Checking: A Tutorial Overview
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Formal Methods in Practice: The Missing Links. A Perspective from the Security Area
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Global Version Management for a Federated Turbine Design Environment
NGIT '99 Proceedings of the 4th International Workshop on Next Generation Information Technologies and Systems
Building a Tool for the Analysis and Testing of Web Applications: Problems and Solutions
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Development of a Control System for Teleoperated Robots Using UML and Ada95
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
An Event-Aware Model for Metadata Interoperability
ECDL '00 Proceedings of the 4th European Conference on Research and Advanced Technology for Digital Libraries
On the Concurrent Object Model of UML
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
Model Checking of Message Sequence Charts
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Testing and Simulating Production Control Systems Using the Fujaba Environment
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
From UML Descriptions of High-Level Software Architectures to LQN Performance Models
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
AHEAD: A Graph-Based System for Modeling and Managing Development Processes
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Graph Transformation Modules and Their Composition
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Formalizing UML-Based Process Models Using Graph Transformations
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
UML for Behavior-Oriented Multi-agent Simulations
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
Hierarchical Hybrid Modeling of Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
Automating Object-Oriented Software Development Methods
ECOOP '01 Proceedings of the Workshops on Object-Oriented Technology
Transformation of UML Specification to XTG
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Model Checking - Timed UML State Machines and Collaborations
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Techniques for Embedding Executable Specifications in Software Component Interfaces
ICCBSS '03 Proceedings of the Second International Conference on COTS-Based Software Systems
DJ: Dynamic Adaptive Programming in Java
REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
Compositional Refinement for Hierarchical Hybrid Systems
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Hybrid Modeling and Simulation of Biomolecular Networks
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Model-Based Tool-Assistance for Packet-Filter Design
POLICY '01 Proceedings of the International Workshop on Policies for Distributed Systems and Networks
IBM SanFrancisco: Java Based Business Components and New Tools to Develop Applications
SOFSEM '99 Proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics on Theory and Practice of Informatics
SOFSEM '00 Proceedings of the 27th Conference on Current Trends in Theory and Practice of Informatics
Coordination-Based Design of Distributed Systems
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
The SPACETUB Models and Framework
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Coordination for Orchestration
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
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
Shifting Up Reflection from the Implementation to the Analysis Level
Proceedings of the 1st OOPSLA Workshop on Reflection and Software Engineering: Reflection and Software Engineering, Papers from OORaSE 1999
Automatic Test Generation for Java-Card Applets
JavaCard '00 Revised Papers from the First International Workshop on Java on Smart Cards: Programming and Security
Collaboration-Based Design of SDL Systems
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Using UML for Implementation Design of SDL Systems
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
HyperMSCs with Connectors for Advanced Visual System Modelling and Testing
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
UML Modelling and Performance Analysis of Mobile Software Architectures
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
A Specification Model for Interface Suites
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
OCL as a Specification Language for Business Rules in Database Applications
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
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
UML for Agent-Oriented Software Development: The Tropos Proposal
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
A UML Meta-model for Contract Aware Components
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Extending UML for Object-Relational Database Design
«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
Rapid Development of Modular Dynamic Web Sites Using UML
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Applying MDA Concepts to Develop a Domain CORBA Facility for E-learning
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
Extending the UML for Multidimensional Modeling
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
On Customizing the UML for Modeling Performance-Oriented Applications
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Exceptions in Object Modeling: Finding Exceptions from the Elements of the Static Object Model
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Software Construction by Stepwise Feature Introduction
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Masaccio: A Formal Model for Embedded Components
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Revised Lectures on Software Visualization, International Seminar
Active Virtual Provate Network Services on Demand
INTERWORKING '00 Proceedings of the 5th IFIP TC6 International Symposium on Next Generation Networks, Networks and Services for the Information Society
Performance Validation of Mobile Software Architectures
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
Semantics of Stereotypes for Type Specification in UML: Theory and Practice
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Web Extensions to UML: Using the MVC Triad
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
Modeling Interactions and Navigation in Web Applications
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
From Web Sites to Web Applications: New Issues for Conceptual Modeling
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
Building Multi-device, Content-Centric Applications Using WebML and the W3I3 Tool Suite
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
CT '01 Proceedings of the 4th International Conference on Cognitive Technology: Instruments of Mind
View Integration of Object Life-Cycles in Object-Oriented Design
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Developing Sequence Diagrams in UML
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Modeling Dynamic Objects in Video Databases: A Logic Based Approach
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
An Algorithmic Framework for Visualizing Statecharts
GD '00 Proceedings of the 8th International Symposium on Graph Drawing
User Preference of Graph Layout Aesthetics: A UML Study
GD '00 Proceedings of the 8th International Symposium on Graph Drawing
Validation of UML Models Thanks to Z and Lustre
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Graph-Based Reengineering of Telecommunication Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
GraCAD - Graph-Based Tool for Conceptual Design
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Characterization and Analysis of Software and Computer Systems with Uncertainties and Variabilities
Performance Engineering, State of the Art and Current Trends
Possibilities of Performance Modelling with UML
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
Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
The Challenge of Object Orientation for the Analysis of Concurrent Systems
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Analysis of Recursive State Machines
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Making Work Flow: On the Application of Petri Nets to Business Process Management
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
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
Architectural Reflection: Realising Software Architectures via Reflective Activities
EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
Software Performance Models from System Scenarios in Use Case Maps
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Spatial Pictogram Enhanced Conceptual Data Models and Their Translation to Logical Data Models
ISD '99 Selected Papers from the International Workshop on Integrated Spatial Databases, Digital Inages and GIS
Developing Control Systems Components
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Combining Graphical and Formal Development of Open Distributed Systems
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Combining Specification Techniques for Processes, Data and Time
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
The Design and Implementation of the Ubidata Information Dissemination Framework
HUC '99 Proceedings of the 1st international symposium on Handheld and Ubiquitous Computing
Towards a Specification of Distributed and Intelligent Web Based Training Systems
ITS '02 Proceedings of the 6th International Conference on Intelligent Tutoring Systems
The Amsterdam Manifesto on OCL
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
OCL: Syntax, Semantics, and Tools
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Modelling Variability with Features in Distributed Architectures
PFE '01 Revised Papers from the 4th International Workshop on Software Product-Family Engineering
Knowledge Level Software Engineering
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
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
Contextualization of OODB Schemas in CROME
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
Ariadne, a Development Method for Hypermedia
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
Hierarchies in Object Oriented Conceptual Modeling
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
JEOPS - The Java Embedded Object Production System
IBERAMIA-SBIA '00 Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI: Advances in Artificial Intelligence
A Conceptual Modelling Framework for Standards-Driven Web-Based Distance Learning
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
A Toolbox for Automating Visual Software Engineering
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks
HiPC '02 Proceedings of the 9th International Conference on High Performance Computing
A Requirements-Driven Development Methodology
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
A Software Process for an Integrated Electronic Commerce Portal System
EWSPT '01 Proceedings of the 8th European Workshop on Software Process Technology
Synthesizing Distributed Finite-State Systems from MSCs
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
UML Support for Designing Software Systems as a Composition of Design Patterns
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Towards an Automatic Integration of Statecharts
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
The complementary use of IDEF and UML modelling approaches
Computers in Industry
CRC cards for product modelling
Computers in Industry
Translating imperative affine nested loop programs into process networks
Embedded processor design challenges
Context-based prefetch – an optimization for implementing objects on relations
The VLDB Journal — The International Journal on Very Large Data Bases
Evaluating real-time software specification languages
Computer Standards & Interfaces
Model checking: a tutorial overview
Modeling and verification of parallel processes
Formal methods in practice: the missing links. a perspective from the security area
Modeling and verification of parallel processes
Towards team-automata-driven object-oriented collaborative work
Formal and natural computing
Object models as heap invariants
Programming methodology
Designing wrapper components for e-services in integrating heterogeneous systems
The VLDB Journal — The International Journal on Very Large Data Bases
The VLDB Journal — The International Journal on Very Large Data Bases
Immersive visual modeling: potential use of virtual reality in teaching software design
Journal of Computing Sciences in Colleges
Business process reengineering and workflow automation: a technology transfer experience
Journal of Systems and Software
FasTLInC: a constraint-based tracing approach
Journal of Systems and Software
Separating computation, coordination and configuration
Journal of Software Maintenance: Research and Practice - Special issue: Separation of concerns for software evolution
Should UML be used for declarative programming?
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
A new approach for visualizing UML class diagrams
Proceedings of the 2003 ACM symposium on Software visualization
A topology-shape-metrics approach for the automatic layout of UML class diagrams
Proceedings of the 2003 ACM symposium on Software visualization
Application of design patterns for hardware design
Proceedings of the 40th annual Design Automation Conference
Formalization of the Whole-Part Relationship in the Unified Modeling Language
IEEE Transactions on Software Engineering
Architecture, design, implementation
Proceedings of the 25th International Conference on Software Engineering
Architectural Interaction Diagrams: AIDs for system modeling
Proceedings of the 25th International Conference on Software Engineering
Tools for understanding the behavior of telecommunication systems
Proceedings of the 25th International Conference on Software Engineering
Proceedings of the 25th International Conference on Software Engineering
Integrity maintenance in extensible databases
Database integrity
Data and knowledge in database systems: meta-data management
Handbook of data mining and knowledge discovery
Towards patterns of web services composition
Patterns and skeletons for parallel and distributed computing
Applying multi-paradigm and design pattern approaches to hardware/software design and reuse
Patterns and skeletons for parallel and distributed computing
CSP-OZ-DC: a combination of specification techniques for processes, data and time
Nordic Journal of Computing
Generating embedded software from hierarchical hybrid models
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Designing multinational online stores: challenges, implementation techniques and experience
CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
An interactive system for recognizing hand drawn UML diagrams
CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
Integrating SHriMP with the IBM websphere studio workbench
CASCON '01 Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
An Overview of MSHN: The Management System for Heterogeneous Networks
HCW '99 Proceedings of the Eighth Heterogeneous Computing Workshop
5SGraph demo: a graphical modeling tool for digital libraries
Proceedings of the 3rd ACM/IEEE-CS joint conference on Digital libraries
ACSW Frontiers '03 Proceedings of the Australasian information security workshop conference on ACSW frontiers 2003 - Volume 21
Verification and Validation Techniques of Object-Oriented Software Systems
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Object Lessons Learned from an Intelligent Agents Framework for Telephony-Based Applications
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Analysis by Contract or UML with Attitude
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Reasoning with UML Class Diagrams
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Dynamic Model Extraction and Statistical Analysis of Web Applications
WSE '02 Proceedings of the Fourth International Workshop on Web Site Evolution (WSE'02)
Building E-commerce applications from object-oriented conceptual models
ACM SIGecom Exchanges
Overview of some patterns for architecting and managing composite web services
ACM SIGecom Exchanges
WebFabIS: A WEB Based Information System for Microelectronics Manufacturing
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Describing Evolving Dependable Systems using Co-operative Software Architectures
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Introducing Workflow Management in Software Maintenance Processes
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Measuring Behavioral Correspondence to a Timed Concurrent Model
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Model of Electric Market Operation Support System Based on UML
ICCNMC '01 Proceedings of the 2001 International Conference on Computer Networks and Mobile Computing (ICCNMC'01)
Development of a Link Layer Protocol Using UML
ICCNMC '01 Proceedings of the 2001 International Conference on Computer Networks and Mobile Computing (ICCNMC'01)
Structuring Requirements Specifications through Goals Interactions
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Micro-Checkpointing: Checkpointing for Multithreaded Applications
IOLTW '00 Proceedings of the 6th IEEE International On-Line Testing Workshop (IOLTW)
ODAC: An Agent-Oriented Methodology Based on ODP
Autonomous Agents and Multi-Agent Systems
An empirical investigation of an object-oriented design heuristic for maintainability
Journal of Systems and Software
Describing interactions between MSC components: the MSC connectors
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
High-level brokerage services for the e-learning domain
Computer Standards & Interfaces - CORBA: protocols, applications, process models and standards
Systematic development of complex web-based user interfaces
Computer Science in Perspective
Tracing Execution of Software for Design Coverage
Proceedings of the 16th IEEE international conference on Automated software engineering
Enforcing Business Policies Through Automated Reconfiguration
Proceedings of the 16th IEEE international conference on Automated software engineering
AGATE, Access Graph-Based Tools for Handling Encapsulation
Proceedings of the 16th IEEE international conference on Automated software engineering
Shared Variables Interaction Diagrams
Proceedings of the 16th IEEE international conference on Automated software engineering
Automated Software Engineering Using Concurrent Class Machines
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
Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability
Proceedings of the 16th IEEE international conference on Automated software engineering
Pragmatic applications of the Semantic Web using SemTalk
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
Fundamenta Informaticae - Concurrency specification and programming
Secure mediation: requirements, design, and architecture
Journal of Computer Security - IFIP 2000
Model-driven design of collaborative web applications
Software—Practice & Experience
EasyLocal++: an object-oriented framework for the flexible design of local-search algorithms
Software—Practice & Experience
Reverse Software Engineering with UML for Web Site Maintenance
WISE '00 Proceedings of the First International Conference on Web Information Systems Engineering (WISE'00)-Volume 2 - Volume 2
Models, software models and UML
UML for real
UML for hardware and software object modeling
UML for real
Do adaptation rules improve web cost estimation?
Proceedings of the fourteenth ACM conference on Hypertext and hypermedia
Object-oriented modeling with UML: a study of developers' perceptions
Communications of the ACM - Why CS students need math
Sequence constraints in business modelling and business process modelling
Enterprise information systems IV
An automated approach to quality-aware web applications
Enterprise information systems IV
Development of communication protocols using algebraic and temporal specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking
Jam---designing a Java extension with mixins
ACM Transactions on Programming Languages and Systems (TOPLAS)
IEEE Transactions on Mobile Computing
An Investigation of Graph-Based Class Integration Test Order Strategies
IEEE Transactions on Software Engineering
The Development and Evaluation of Three Diverse Techniques for Object-Oriented Code Inspection
IEEE Transactions on Software Engineering
Making sense of runtime architecture for mobile phone software
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Defining specialization for dataflow diagrams
Information Systems
A formal approach for designing CORBA-based applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Deterministic finite automata with recursive calls and DPDAs
Information Processing Letters
Architecture-based semantic evolution of embedded remotely controlled systems
Journal of Software Maintenance: Research and Practice
The roots of object orientation: the Simula language
Software pioneers
Design patterns: ten years later
Software pioneers
Enterprise data management in research organizations: data the way you want it
Proceedings of the 2003 conference on Diversity in computing
Modeling and specifications of dynamic agents in fractal manufacturing systems
Computers in Industry
Using UML to facilitate the teaching of object-oriented systems analysis and design
Journal of Computing Sciences in Colleges
Requirements use case tool (RUT)
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Reuse of teaching components: a UML-based approach to delivering and managing academic courses
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
BT Technology Journal
Specification of web applications with ADM-2
Information modeling for internet applications
Web application quality: supporting maintenance and testing
Information modeling for internet applications
Unifying access to heterogeneous document databases through contextual metadata
Effective databases for text & document management
Modeling the workflow of prescription writing
Proceedings of the 2003 ACM symposium on Applied computing
An architecture to support distributed data retrieval in specialized formats
Proceedings of the 2003 ACM symposium on Applied computing
Evaluating UML using a generic quality framework
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
Forward engineering and UML: from UML static models to Eiffel code
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
A RUP-based software process supporting progressive implementation
UML and the unified process
Automated-generating test case using UML statechart diagrams
SAICSIT '03 Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
Exploiting 2D concepts to achieve consistency in 3D GIS applications
GIS '03 Proceedings of the 11th ACM international symposium on Advances in geographic information systems
A Java implementation of cross-domain mixed initiative spoken dialogue management
PPPJ '03 Proceedings of the 2nd international conference on Principles and practice of programming in Java
Bridging models across the software lifecycle
Journal of Systems and Software - Special issue: Best papers on Software Engineering from the SEKE'01 Conference
Systems analysis with workflow modeling
Technologies & methodologies for evaluating information technology in business
Run-time support for dynamically reconfigurable computing systems
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Reconfigurable systems
The application of FOOM methodology to IFIP conference case study
Practicing software engineering in the 21st century
A service-based approach to components for effective business-IT alignment
Practicing software engineering in the 21st century
Enforcing cardinality constraints in the ER model with integrity methods
Advanced topics in database research vol. 1
FOOM-functional and object-oriented methodology for analysis and design of information systems
Advanced topics in database research vol. 1
How complex is the unified modeling language?
Advanced topics in database research vol. 1
Information analysis in UML and ORM: a comparison
Advanced topics in database research vol. 1
Formal approaches to systems analysis using UML: an overview
Advanced topics in database research vol. 1
Extending UML for space- and time-dependent applications
Advanced topics in database research vol. 1
The role of use cases in the UML: a review and research agenda
Advanced topics in database research vol. 1
Exploring the design and engineering of mixed reality systems
Proceedings of the 9th international conference on Intelligent user interfaces
Intelligent knowledge extraction from the web
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems - Intelligent information systems
Formal hardware specification languages for protocol compliance verification
ACM Transactions on Design Automation of Electronic Systems (TODAES)
The algebraic structure of interfaces
Science of Computer Programming
Integration of third-party applications and web clients by means of an enterprise layer
Annals of cases on information technology
Proceedings of the 2004 ACM symposium on Applied computing
Towards increasing web application productivity
Proceedings of the 2004 ACM symposium on Applied computing
Smart-Media Applications Created by Scenario Based Modeling
SAINT-W '04 Proceedings of the 2004 Symposium on Applications and the Internet-Workshops (SAINT 2004 Workshops)
The sequential method for the black-oil reservoir simulation on unstructured grids
Journal of Computational Physics
Wanted: CS1 students. no experience required
Proceedings of the 35th SIGCSE technical symposium on Computer science education
Reviewing Software Diagrams: A Cognitive Study
IEEE Transactions on Software Engineering
Software Process Representation and Analysis for Framework Instantiation
IEEE Transactions on Software Engineering
Improving graphical information system model use with elision and connecting lines
ACM Transactions on Computer-Human Interaction (TOCHI)
Modular refinement of hierarchic reactive machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Traversals of object structures: Specification and Efficient Implementation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
MS Word macro language extension
CompSysTech '03 Proceedings of the 4th international conference conference on Computer systems and technologies: e-Learning
Object-oriented modelling of spoken language dialogue systems
Natural Language Engineering
From a Conceptual Framework for Agents and Objects to a Multi-Agent System Modeling Language
Autonomous Agents and Multi-Agent Systems
Early performance testing of distributed software applications
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Computing the performability of layered distributed systems with a management architecture
WOSP '04 Proceedings of the 4th international workshop on Software and performance
A performance analysis approach based on the UML class diagram
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Operating system scenarios as Use Case Maps
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Vector reduction/transformation operators
ACM Transactions on Mathematical Software (TOMS)
Methodologies for the development of knowledge-based systems, 1982–2002
The Knowledge Engineering Review
A UML profile and mapping for the generation of ontology-specific content languages
The Knowledge Engineering Review
Building large-scale Bayesian networks
The Knowledge Engineering Review
Meta-knowledge in systems design: panacea … or undelivered promise?
The Knowledge Engineering Review
Advances in information visualisation: recent outcomes
The Knowledge Engineering Review
Computers and Operations Research
Natural language access to software applications
COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 2
The use of domain level semantics to support unanticipated system adaptation
OOPSLA '02 Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
GOOAL: a Graphic Object Oriented Analysis Laboratory
OOPSLA '02 Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Automatically generating object models from natural language analysis
OOPSLA '02 Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Action-oriented conceptual modelling
European Journal of Information Systems
Migrating to web services: a performance engineering approach
Journal of Software Maintenance and Evolution: Research and Practice - Special issue: Web site evolution
Reverse engineering web applications: the WARE approach
Journal of Software Maintenance and Evolution: Research and Practice - Special issue: Web site evolution
A role model and its metaclass implementation
Information Systems
Analysing failure behaviours in component interaction
Journal of Systems and Software
A component based methodology for web application development
Journal of Systems and Software
A Distribution Design Methodology for Object DBMS
Distributed and Parallel Databases
Comparison of JavaServer pages and XSLT: a software engineering perspective
Software—Practice & Experience
Adaptable architecture generation for embedded systems
Journal of Systems and Software - Special issue: Computer systems
Design and application of hybrid intelligent systems
A New Approach Towards Procurement of Software Models Via Distributed Business Models
The Journal of Supercomputing
Active learning for automatic classification of software behavior
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Verifying process models built using parameterized state machines
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Incremental Change in Object-Oriented Programming
IEEE Software
Application of UML for hardware design based on design process model
Proceedings of the 2004 Asia and South Pacific Design Automation Conference
A real-time synchronization mechanism for collaborative model management
Decision Support Systems
Building with paradisEO reusable parallel and distributed evolutionary algorithms
Parallel Computing - Special issue: Parallel and nature-inspired computational paradigms and applications
Transaction level modeling: flows and use models
Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
A model-based approach to integrating security policies for embedded devices
Proceedings of the 4th ACM international conference on Embedded software
Agent UML Notation for Multiagent System Design
IEEE Internet Computing
Dynamic Coupling Measurement for Object-Oriented Software
IEEE Transactions on Software Engineering
Specifying performance properties of parallel applications using compound events
On-line monitoring systems and computer tool interoperability
Dynamic information dissemination to mobile users
Mobile Networks and Applications
Analysis of strategies for improving and estimating the effectiveness of heuristic evaluation
Proceedings of the third Nordic conference on Human-computer interaction
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
A Simulation Model of Hospital Management Based on Cost Accounting Analysis According to Disease
Journal of Medical Systems
MAC and UML for secure software design
Proceedings of the 2004 ACM workshop on Formal methods in security engineering
Implementation of object-orientation using UML in entry level software development courses
CITC5 '04 Proceedings of the 5th conference on Information technology education
Measuring the conceptual fitness of an application in a computing ecosystem
Proceedings of the 2004 ACM workshop on Interdisciplinary software engineering research
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
General methodology 3: a federation object coordinator for simulation based control and analysis
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
NESTREAM: querying nested streams
ACM SIGMOD Record
Collaborative modeling: hiding UML and promoting data examples in NEMo
CSCW '04 Proceedings of the 2004 ACM conference on Computer supported cooperative work
Assessing and Improving State-Based Class Testing: A Series of Experiments
IEEE Transactions on Software Engineering
Improving Cohesion Metrics for Classes by Considering Dependent Instance Variables
IEEE Transactions on Software Engineering
Algebraic reasoning for object-oriented programming
Science of Computer Programming - Special issue on program transformation
Eliciting service composition in a goal driven manner
Proceedings of the 2nd international conference on Service oriented computing
authUML: a three-phased framework to analyze access control specifications in use cases
Proceedings of the 2003 ACM workshop on Formal methods in security engineering
Intelligent management of network devices aided by a strategy and a tool
LANC '03 Proceedings of the 2003 IFIP/ACM Latin America conference on Towards a Latin American agenda for network research
A conceptual model of information supply
Data & Knowledge Engineering
Classification of user image descriptions
International Journal of Human-Computer Studies
Automatic layout of UML class diagrams in orthogonal style
Information Visualization - Special issue: Software visualization
Integrated Requirements Engineering: A Tutorial
IEEE Software
Object Analysis Patterns for Embedded Systems
IEEE Transactions on Software Engineering
Modeling variability in software product lines with the variation point model
Science of Computer Programming - Special issue: Software variability management
A specification language and service-oriented architecture to support distributed data management
Software—Practice & Experience
An UML approach for the metamodelling of automated production systems for monitoring purpose
Computers in Industry - Special issue: Object-oriented modelling in design and production
UML based specifications of PDM product structure and workflow
Computers in Industry - Special issue: Object-oriented modelling in design and production
Information system modelling for engineering design co-ordination
Computers in Industry - Special issue: Object-oriented modelling in design and production
Towards a knowledge repository for collaborative design process: focus on conflict management
Computers in Industry - Special issue: Object-oriented modelling in design and production
Integrating formalism into undergraduate software engineering
Journal of Systems and Software - Special issue: The new context for software engineering education and training
Towards Formalised Guidelines for Migrating Structured Designs to UML: A Case Study
Software Quality Control
Design patterns for database pedagogy: a proposal
Proceedings of the 36th SIGCSE technical symposium on Computer science education
"The Babel experiment": an advanced pantomime-based training in OOA&OOD with UML
Proceedings of the 36th SIGCSE technical symposium on Computer science education
Model-Based Performance Risk Analysis
IEEE Transactions on Software Engineering
Component based development methods: comparison
CompSysTech '04 Proceedings of the 5th international conference on Computer systems and technologies
X3D-UML: enabling advanced UML visualisation through X3D
Web3D '05 Proceedings of the tenth international conference on 3D Web technology
Visual specification and analysis of use cases
SoftVis '05 Proceedings of the 2005 ACM symposium on Software visualization
Methodology and architecture of JIVE
SoftVis '05 Proceedings of the 2005 ACM symposium on Software visualization
Application of the object-oriented principles for hardware and embedded system design
Integration, the VLSI Journal
Lineage retrieval for scientific data processing: a survey
ACM Computing Surveys (CSUR)
Journal of Computing Sciences in Colleges
University Course Scheduling System (UCSS): a UML application with database and visual programming
Journal of Computing Sciences in Colleges
Using XML views for improving graphical query specifications
Journal of Computing Sciences in Colleges
A comprehensive approach for the development of modular software architecture description languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Realizability and verification of MSC graphs
Theoretical Computer Science - Automata, languages and programming
Metadata-driven design of integrated environments for software performance validation
Journal of Systems and Software
The role of modelling in the software engineering curriculum
Journal of Systems and Software - Special issue: Software engineering education and training
A practical pattern recovery approach based on both structural and behavioral analysis
Journal of Systems and Software - Special issue: Software engineering education and training
Supporting application development in the semantic web
ACM Transactions on Internet Technology (TOIT)
How the design of JML accommodates both runtime assertion checking and formal verification
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Implementation of control systems using B action systems: a case study
Nordic Journal of Computing
Proceedings of the 2005 ACM symposium on Applied computing
AOP for software evolution: a design oriented approach
Proceedings of the 2005 ACM symposium on Applied computing
Proceedings of the 2005 ACM symposium on Applied computing
Verification of behavioural elements of UML models using B
Proceedings of the 2005 ACM symposium on Applied computing
Marshaling and unmarshaling models using the entity-relationship model
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
Investigating the Role of Use Cases in the Construction of Class Diagrams
Empirical Software Engineering
Sigmoid: A Software Infrastructure for Pathway Bioinformatics and Systems Biology
IEEE Intelligent Systems
SODA '05 Proceedings of the sixteenth annual ACM-SIAM symposium on Discrete algorithms
Analysis of recursive state machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software performance models from system scenarios
Performance Evaluation
IEEE Internet Computing
Modelling of occupational health and safety aspects in the digital factory
Computers in Industry - Special issue: The digital factory: an instrument of the present and the future
Compositional Development of Performance Models in Poems
International Journal of High Performance Computing Applications
On utility-based selection of architecture-modelling concepts
APCCM '05 Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling - Volume 43
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
Verifying Time Partitioning in the DEOS Scheduling Kernel
Formal Methods in System Design
A fully abstract may testing semantics for concurrent objects
Theoretical Computer Science
Implementing advanced spoken dialogue management in Java
Science of Computer Programming - Special issue on principles and practice of programming in java (PPPJ 2003)
A flexible, low-level scene graph traversal with explorers
Proceedings of the 21st spring conference on Computer graphics
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)
Performance modeling and analysis of software architectures: an aspect-oriented UML based approach
Science of Computer Programming - Special issue on system and software architectures(IWSSA'04)
An empirical comparison of the dynamic modeling in OML and UML
Journal of Systems and Software
GOOAL: an educational object oriented analysis laboratory
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Improving CRC-card role-play with role-play diagrams
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Modeling biological systems: a unified approach
ACM SIGSOFT Software Engineering Notes
An Experimental Investigation of Formality in UML-Based Development
IEEE Transactions on Software Engineering
Impact of software engineering research on the practice of software configuration management
ACM Transactions on Software Engineering and Methodology (TOSEM)
Reasoning about static and dynamic properties in alloy: A purely relational approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
A rigorous approach for proving model refactorings
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Fuzzy nature of trust and dynamic trust modeling in service oriented environments
Proceedings of the 2005 workshop on Secure web services
Integrating COTS Software into Systems through Instrumentation and Reasoning
Automated Software Engineering
A Cloverleaf of Software Engineering
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Pragmatic Consistency Management in Industrial Requirements Specifications
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Computers in Entertainment (CIE) - Theoretical and Practical Computer Applications in Entertainment
Conveying human-computer interaction concerns to software engineers through an interaction model
CLIHC '05 Proceedings of the 2005 Latin American conference on Human-computer interaction
Using Alloy to model-check visual design notations
ENC '05 Proceedings of the Sixth Mexican International Conference on Computer Science
Agent-oriented compositional approaches to services-based cross-organizational workflow
Decision Support Systems - Special issue: Web services and process management
A theory of regular MSC languages
Information and Computation
UMLAnT: an Eclipse plugin for animating and testing UML designs
eclipse '05 Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange
Proceedings of the 5th international conference on Aspect-oriented software development
Capturing and analyzing requirement: in case of software and applying to hardware
ASP-DAC '03 Proceedings of the 2003 Asia and South Pacific Design Automation Conference
Using software evolution to focus architectural recovery
Automated Software Engineering
Consistency in model integration
Data & Knowledge Engineering - Special issue: Business process management
Comparing high-level modeling approaches for embedded system design
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
An MPEG-7 framework enhancing the reuse of 3D models
Proceedings of the eleventh international conference on 3D web technology
Using UML models for the performance analysis of network systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Towards human-centered design of diagrammatic representation schemes
TAMODIA '05 Proceedings of the 4th international workshop on Task models and diagrams
Design and implementation of information systems for environmental managers
Neural, Parallel & Scientific Computations
Symbolic model checking of UML activity diagrams
ACM Transactions on Software Engineering and Methodology (TOSEM)
Communications of the ACM - Two decades of the language-action perspective
Education and Information Technologies
Constraint animation using an object-oriented declarative language
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
A new UML-compatible object relationship notation (ORN)
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems
ACM SIGSOFT Software Engineering Notes
Distribution and persistence as aspects
Software—Practice & Experience - Research Articles
A view of 20th and 21st century software engineering
Proceedings of the 28th international conference on Software engineering
A series of development methodologies for a variety of systems in Korea
Proceedings of the 28th international conference on Software engineering
A research agenda for distributed software development
Proceedings of the 28th international conference on Software engineering
Designing concurrent, distributed, and real-time applications with UML
Proceedings of the 28th international conference on Software engineering
QoS Assessment via Stochastic Analysis
IEEE Internet Computing
Cataloging design abstractions
Proceedings of the 2006 international workshop on Role of abstraction in software engineering
A modeling framework for agile and interoperable virtual enterprises
Computers in Industry - Special issue: Advanced computer support of engineering and service processes of virtual enterprises
Knowledge building using visualizations
Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education
Journal of Systems and Software
Object-oriented numerical integration: a template scheme for FEM and BEM applications
Advances in Engineering Software
Conceptual process configurations in enterprise knowledge management systems
Proceedings of the 2006 ACM symposium on Applied computing
PDM System implementation based on UML
Mathematics and Computers in Simulation - Special issue: Computational engineering in systems applications (CESA 2003)
Towards unified modelling of product life-cycles
Computers in Industry
A communication model for structural design objects. I: channels and medium
Advances in Engineering Software
Verifying software requirements with XSLT
ACM SIGSOFT Software Engineering Notes
Information modeling: the process and the required competencies of its participants
Data & Knowledge Engineering - Special issue: Application of natural language to information systems (NLDB04)
Detection of anomalies in software architecture with connectors
Science of Computer Programming - Special issue on quality system and software architectures
A conceptual foundation of the thinkLet concept for Collaboration Engineering
International Journal of Human-Computer Studies
Ontology-based multi-agent system to multi-site software development
Proceedings of the 2004 workshop on Quantitative techniques for software agile process
The open and autonomous interconnection semantics
ICEC '06 Proceedings of the 8th international conference on Electronic commerce: The new e-commerce: innovations for conquering current barriers, obstacles and limitations to conducting successful business on the internet
CRPIT '02 Proceedings of the 2002 conference on Pattern languages of programs - Volume 13
Parson's programming puzzles: a fun and effective learning tool for first programming courses
ACE '06 Proceedings of the 8th Australasian Conference on Computing Education - Volume 52
Modeling a web-based remote monitoring and fault diagnosis system with UML and component technology
Journal of Intelligent Information Systems
A case study on the application of UML in legacy development
Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering
Grid computing for parallel bioinspired algorithms
Journal of Parallel and Distributed Computing - Special issue on parallel bioinspired algorithms
Single-threaded specification of process-interaction formalism in Java
WSC '04 Proceedings of the 36th conference on Winter simulation
RMIS: middleware for transparent object-oriented modeling in multi-simulator systems
WSC '05 Proceedings of the 37th conference on Winter simulation
AVDL: a highly adaptable architecture view description language
Journal of Systems and Software
SOON: a tool for software performance validation
International Journal of Modelling and Simulation
Architectural thinking and modeling with the architects' workbench
IBM Systems Journal - Model-driven software development
Object-oriented analysis and specification for HW/SW co-design with UML diagrams
ACST'06 Proceedings of the 2nd IASTED international conference on Advances in computer science and technology
Towards analyzing UML class diagram models to object-relational database systems transformations
DBA'06 Proceedings of the 24th IASTED international conference on Database and applications
Utilizing use case classes for requirement and traceability modeling
MS'06 Proceedings of the 17th IASTED international conference on Modelling and simulation
A framework for cluster availability specification and evaluation
Proceedings of the 43rd annual Southeast regional conference - Volume 1
Improving the quotation process with product configuration
Computers in Industry
Proceedings of the 5th international conference on Generative programming and component engineering
PROTEUS: creating distributed maintenance systems through an integration platform
Computers in Industry - Special issue: E-maintenance
Tahuti: a geometrical sketch recognition system for UML class diagrams
ACM SIGGRAPH 2006 Courses
LADDER: a language to describe drawing, display, and editing in sketch recognition
ACM SIGGRAPH 2006 Courses
From textual scenarios to a conceptual schema
Data & Knowledge Engineering - Special issue: Natural language and database and information systems: NLDB 03
An organizational decision support system for effective R&D project selection
Decision Support Systems
Agent communication and artificial institutions
Autonomous Agents and Multi-Agent Systems
Tutorial on agent-based modeling and simulation part 2: how to model with agents
Proceedings of the 38th conference on Winter simulation
An object-oriented framework for simulating multi-echelon inventory systems
Proceedings of the 38th conference on Winter simulation
Moving architectural description from under the technology lamppost
Information and Software Technology
The Queen's agents: using collaborating object-based dialogue agents in the Queen's Communicator
COLING '04 Proceedings of the 20th international conference on Computational Linguistics
Boundary labeling: Models and efficient algorithms for rectangular maps
Computational Geometry: Theory and Applications
Information and Software Technology
A model-driven choreography conceptual framework
Computer Standards & Interfaces
Towards an intelligent database system founded on the SP theory of computing and cognition
Data & Knowledge Engineering
Hierarchies in a multidimensional model: from conceptual modeling to logical representation
Data & Knowledge Engineering - Special issue: WIDM 2004
A model-solver integration framework for autonomous and intelligent model solution
Decision Support Systems
rCOS: a refinement calculus of object systems
Theoretical Computer Science - Components and objects
Supporting multiple viewpoints in collaborative graphical editing
Multimedia Tools and Applications
A UML profile for multidimensional modeling in data warehouses
Data & Knowledge Engineering - Special issue: ER 2003
GLANUSIT: A software toolbox for the numerical simulation of large ice masses evolution
Advances in Engineering Software
Cognitive evaluation of information modeling methods
Information and Software Technology
Software maintenance seen as a knowledge management issue
Information and Software Technology
A Component Coordination Model Based on Mobile Channels
Fundamenta Informaticae
Development of the multi-functional indoor service robot PSR systems
Autonomous Robots
The representation, analysis and verification of business processes: a metagraph-based approach
Information Technology and Management
On the computability of agent-based workflows
Decision Support Systems
Towards structural computing design
MIS '05 Proceedings of the 2005 symposia on Metainformatics
Modeling from a semiotic perspective
MIS '05 Proceedings of the 2005 symposia on Metainformatics
Science of Computer Programming
Model-driven decision support systems: Concepts and research directions
Decision Support Systems
A model for capturing and representing the engineering design process
Expert Systems with Applications: An International Journal
A requirements analysis framework for open systems requirements engineering
ACM SIGSOFT Software Engineering Notes
Estimating software complexity from UML models
ACM SIGSOFT Software Engineering Notes
Designing an Internet-based directory service for e-markets
Information Services and Use
Impact of Evolution of Concerns in the Model-Driven Architecture Design Approach
Electronic Notes in Theoretical Computer Science (ENTCS)
The Modeling Of Structured Context-Aware Interactive Environments
Journal of Integrated Design & Process Science
A Rapid Prototyping Approach For The Design Of Extensible In-Vehicle Telematics Systems
Journal of Integrated Design & Process Science
The Component Dilemma: Handicaps Of Component Architectures In Commercial Information Systems
Journal of Integrated Design & Process Science - Component-Based System Development
A unified platform for data driven web applications with automatic client-server partitioning
Proceedings of the 16th international conference on World Wide Web
Eliciting information for product modeling using process modeling
Data & Knowledge Engineering
Practical experience of eliciting classes from use case descriptions
Journal of Systems and Software
User-centric personalized extensibility for data-driven web applications
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
The Impact of UML Documentation on Software Maintenance: An Experimental Evaluation
IEEE Transactions on Software Engineering
Performance Modeling and Evaluation of Distributed Component-Based Systems Using Queueing Petri Nets
IEEE Transactions on Software Engineering
Triggered Message Sequence Charts
IEEE Transactions on Software Engineering
Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset
ICSE '07 Proceedings of the 29th international conference on Software Engineering
On the Semantics of Associations and Association Ends in UML
IEEE Transactions on Software Engineering
hpGEM---A software framework for discontinuous Galerkin finite element methods
ACM Transactions on Mathematical Software (TOMS)
Complexity Measures for Secure Service-Oriented Software Architectures
PROMISE '07 Proceedings of the Third International Workshop on Predictor Models in Software Engineering
Automated Generation of Test Cases Using Model-Driven Architecture
AST '07 Proceedings of the Second International Workshop on Automation of Software Test
Visualizing Design Patterns in Their Applications and Compositions
IEEE Transactions on Software Engineering
Using semi-formal methods for detecting interactions among smart homes policies
Science of Computer Programming
Journal of Integrated Design & Process Science
A Petri Net Based Method for Refining Object Oriented System Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Computers in Biology and Medicine
Implementing a generic component-based framework for telecontrol applications
Software—Practice & Experience
Relational concept discovery in structured datasets
Annals of Mathematics and Artificial Intelligence
Critical Factors for Assimilation of Object-Oriented Programming Languages
Journal of Management Information Systems
The Role of Similarity in the Reuse of Object-Oriented Analysis Models
Journal of Management Information Systems
Generic process model structures: towards a standard notation for abstract representations
Proceedings of the 2007 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries
Fuzzy XML data modeling with the UML and relational data models
Data & Knowledge Engineering
Formalisation and implementation of collaborative material research process
Advances in Engineering Software
Cooperating sensory agents for detecting temporal consistency among events
PDCN'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: parallel and distributed computing and networks
An Extensible Meta-Model for Program Analysis
IEEE Transactions on Software Engineering
Process-centered review of object oriented software development methodologies
ACM Computing Surveys (CSUR)
Calculation of document similarity using cellular structured space template
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Seamless traceability without compromise
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Pair programming in software development teams - An empirical study of its benefits
Information and Software Technology
A language-driven approach for the design of interactive applications
Interacting with Computers
Change propagation algorithm in a unified feature modeling scheme
Computers in Industry
PRoduct ONTOlogy: Defining product-related concepts for logistics planning activities
Computers in Industry
A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalization of UML diagrams and their consistency verification: A Z notation based approach
ISEC '08 Proceedings of the 1st India software engineering conference
Accommodating mesodata into conceptual modelling methodologies
Information and Software Technology
CyNC: a MATLAB/SimuLink toolbox for network calculus
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
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
Documenting after the fact: Recovering architectural design decisions
Journal of Systems and Software
Development of an Interface C framework for semiconductor e-Diagnostics systems
Robotics and Computer-Integrated Manufacturing
Advanced Engineering Informatics
Patterns of message interchange in decoupled hypermedia systems
Journal of Network and Computer Applications
Agent-based modeling and simulation: desktop ABMS
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
An object-oriented framework for simulating full truckload transportation networks
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Schema polynomials and applications
EDBT '08 Proceedings of the 11th international conference on Extending database technology: Advances in database technology
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
TeMAS–a multi-agent system for temporally rich domains
Knowledge and Information Systems
Computational modelling and simulation of the immune system
International Journal of Bioinformatics Research and Applications
Exploring case-based reasoning for web hypermedia project cost estimation
International Journal of Web Engineering and Technology
Facilitating change management with configurative reference modelling
International Journal of Information Systems and Change Management
Effective management of dynamic and multiple supply chains
International Journal of Networking and Virtual Organisations
Knowledge diffusion via specialist domain traces: facilitating Mobile Learning through AUTOCART
International Journal of Mobile Learning and Organisation
International Journal of Mobile Communications
The realtime Vision System for small-sized target tracking
International Journal of Computing Science and Mathematics
Process-oriented abstraction of the complex evolvable systems: problem model construction
ACM SIGSOFT Software Engineering Notes
Definition and modeling of process using object orientation
ACM SIGSOFT Software Engineering Notes
Program slicing under UML scenario models
ACM SIGPLAN Notices
Scenario oriented program slicing
Proceedings of the 2008 ACM symposium on Applied computing
The IMML VDE: models, languages and tools to develop interactive systems
International Journal of Web Engineering and Technology
A generic model for managing software architecture evolution
ICS'05 Proceedings of the 9th WSEAS International Conference on Systems
WOSP '08 Proceedings of the 7th international workshop on Software and performance
A frame knowledge system for managing financial decision knowledge
Expert Systems with Applications: An International Journal
Role engineering: From design to evolution of security schemes
Journal of Systems and Software
Ontology-based evaluation of organizational memory
Journal of the American Society for Information Science and Technology
Avida-MDE: a digital evolution approach to generating models of adaptive software behavior
Proceedings of the 10th annual conference on Genetic and evolutionary computation
A time Petri net-based approach for synchronization, analysis and management of multimedia scenarios
International Journal of Parallel, Emergent and Distributed Systems
International Journal of Computer Integrated Manufacturing
USING REENGINEERING FOR KNOWLEDGE-BASED SYSTEMS
Cybernetics and Systems
Modeling and querying fuzzy spatiotemporal databases
Information Sciences: an International Journal
Verification of well-formed communicating recursive state machines
Theoretical Computer Science
ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes
Verification of scope-dependent hierarchical state machines
Information and Computation
Enriching the class diagram concepts to capture natural language semantics for database access
Data & Knowledge Engineering
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
SOPHIE: Use case and evaluation
Information and Software Technology
An e-contracting reference architecture
Journal of Systems and Software
Avoiding semantic and temporal gaps in developing software intensive systems
Journal of Systems and Software
Performance Validation on Multicore Mobile Devices
Verified Software: Theories, Tools, Experiments
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
A Design Pattern for Component Oriented Development of Agent Based Multithreaded Applications
Euro-Par '08 Proceedings of the 14th international Euro-Par conference on Parallel Processing
The User Centred Knowledge Model - t-UCK
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part III
Information Coordination Using Meta-agents in Information Logistics Processes
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part III
Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Modelling an Environmental Knowledge-Representation System
WSKS '08 Proceedings of the 1st world summit on The Knowledge Society: Emerging Technologies and Information Systems for the Knowledge Society
X3D-UML: 3D UML State Machine Diagrams
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Contrary-to-Duties Constraints: From UML to Relational Model
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Design of a manufacturing knowledge model
International Journal of Computer Integrated Manufacturing
International Journal of Geographical Information Science
Cartographic support for locational problem-solving by groups
International Journal of Geographical Information Science
A four-layer model for security of digital rights management
Proceedings of the 8th ACM workshop on Digital rights management
Design and evaluation of a context-aware service deployment for collaborative sessions
Computer Communications
Implementation of a modified PCX image compression using java
WSEAS Transactions on Computers
Generating Business Process Models from Object Behavior Models
Information Systems Management
Computer Standards & Interfaces
Transforming Data by Calculation
Generative and Transformational Techniques in Software Engineering II
An XML-based modular system analysis and design for supply chain simulation
Robotics and Computer-Integrated Manufacturing
Automatic generation of test specifications for coverage of system state transitions
Information and Software Technology
Reasoning about users'actions in a graphical user interface
Human-Computer Interaction
SOMA: a method for developing service-oriented solutions
IBM Systems Journal
A method for modeling service management of e-Learning
WSEAS Transactions on Information Science and Applications
Rethinking the Use of Models in Software Architecture
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
Improved model management with aggregated business process models
Data & Knowledge Engineering
Dynamic capabilities in the software process
International Journal of Information Technology and Management
Environment-independent methodology for accessing external data sources
WSEAS Transactions on Information Science and Applications
Managing Proof Documents for Asynchronous Processing
Electronic Notes in Theoretical Computer Science (ENTCS)
An Object-Oriented Component Model for Heterogeneous Nets
Formal Methods for Components and Objects
Antecipando a avaliação de IHC: verificação de diretrizes a partir de modelos
Proceedings of the VIII Brazilian Symposium on Human Factors in Computing Systems
Expert Systems with Applications: An International Journal
Formal transformation of ontology axioms to application domain rules
CompSysTech '08 Proceedings of the 9th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing
Research and design of test question database management system based on the three-tier structure
WSEAS TRANSACTIONS on SYSTEMS
Database access and patterns in Erlang/OTP
AIC'08 Proceedings of the 8th conference on Applied informatics and communications
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
Verifying UML/OCL Operation Contracts
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Performance evaluation for object oriented software systems
ACM SIGSOFT Software Engineering Notes
Performance of function point analysis through UML modeling
ACM SIGSOFT Software Engineering Notes
Aspect mining meets rule-based refactoring
Proceedings of the 1st workshop on Linking aspect technology and evolution
Visual interactive environment for doing geometrical constructions
WSEAS Transactions on Computers
Computers and Electronics in Agriculture
Agent-based modeling and simulation: ABMS examples
Proceedings of the 40th Conference on Winter Simulation
Conceptual simulation modeling: the structure of domain specific simulation environment
Proceedings of the 40th Conference on Winter Simulation
Based on B/S of the three-tier architecture of the questions the management system
CEA'09 Proceedings of the 3rd WSEAS international conference on Computer engineering and applications
Another approach for the teaching of the foundations of programming using UML and Java
CEA'09 Proceedings of the 3rd WSEAS international conference on Computer engineering and applications
The concepts of model in information systems engineering: A proposal for an ontology of models
The Knowledge Engineering Review
System state coverage through automatic test case generation
International Journal of Information and Communication Technology
Jigsaw-Puzzle-Like 3D Glyphs for Visualization of Grammatical Constraints
IEICE - Transactions on Information and Systems
Access Control Management for SCADA Systems
IEICE - Transactions on Information and Systems
Software operation time evaluation based on MTM
Advances in Engineering Software
Evolutionary generation of unique input/output sequences for class behavioral testing
Computers & Mathematics with Applications
Description and Implementation of a UML Style Guide
Models in Software Engineering
Principes pour une méthode de conception de systèmes mixtes
IHM '07 Proceedings of the 19th International Conference of the Association Francophone d'Interaction Homme-Machine
An intelligent fuzzy object-oriented database framework for video database applications
Fuzzy Sets and Systems
A Benchmarking-Based Requirement Analysis Methodology for Improving Web Sites
International Journal of Electronic Commerce
Supporting co-evolution of users and systems by the recognition of interaction patterns
Proceedings of the Working Conference on Advanced Visual Interfaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Using test case patterns to estimate software development and quality management cost
Software Quality Control
ICCS 2009 Proceedings of the 9th International Conference on Computational Science
An object model for use in oral and written advocacy
Artificial Intelligence and Law
A software architecture modeling tool
TELE-INFO'09 Proceedings of the 8th Wseas international conference on Telecommunications and informatics
Language engineering techniques for the development of e-learning applications
Journal of Network and Computer Applications
Inference Rules of Semantic Dependencies in the Enterprise Modelling
Proceedings of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05
Structuring of Multimedia Contents for E-Learning Lessons in Multimedia Knowledge Base
Proceedings of the 2005 conference on Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences: Sharing Good Practices of Research, Experimentation and Innovation
Human Factor Modeling for Development of Learning Support Systems Facilitating Meta-Cognition
Proceedings of the 2005 conference on Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences: Sharing Good Practices of Research, Experimentation and Innovation
Automatic Translation from Textual Representations of Laws to Formal Models through UML
Proceedings of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference
A Perspective Ontology and IS Perspectives
Proceedings of the 2008 conference on Information Modelling and Knowledge Bases XIX
Model-level simulation for COLA
MISE '09 Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering
Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
On some Problems with Modelling of Exceptions in UML
Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
The ISMS Business Environment Elaboration Using a UML Approach
Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
Comparing Approaches in AORE through ISO/IEC 9126
Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
Towards an Abstraction Ontology
Proceedings of the 2007 conference on Information Modelling and Knowledge Bases XVIII
Parallel hp-Finite Element Simulations of 3D Resistivity Logging Instruments
Proceedings of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering
Efficient Building of Interactive Applications Guided by Requirements Models
ICWE '9 Proceedings of the 9th International Conference on Web Engineering
Development of a distributed system applied to teaching and learning
Proceedings of the 8th ACM SIGPLAN workshop on ERLANG
Performance evaluation of network system through UML
ACM SIGSOFT Software Engineering Notes
Ontology-Based Requirements Conflicts Analysis in Activity Diagrams
ICCSA '09 Proceedings of the International Conference on Computational Science and Its Applications: Part II
International Journal of Computer Applications in Technology
Journal of Systems and Software
Empirical Software Engineering
Experiences in developing and applying a software engineering technology testbed
Empirical Software Engineering
Russian morphology: resources and Java software applications
MorphSlav '03 Proceedings of the 2003 EACL Workshop on Morphological Processing of Slavic Languages
Conceptual Graphs and Datatypes
ICCS '09 Proceedings of the 17th International Conference on Conceptual Structures: Conceptual Structures: Leveraging Semantic Technologies
Towards an architecture for semiautonomous robot telecontrol systems
Information Sciences: an International Journal
Reasoning in expressive description logics with fixpoints based on automata on infinite trees
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
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
On the way to modeling: a case study in managing model transformations in MDA
DIWEB'09 Proceedings of the 9th WSEAS international conference on Distance learning and web engineering
LADDER: a language to describe drawing, display, and editing in sketch recognition
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Advanced Engineering Informatics
Enterprise architecture modelling-the issue of integration
Advanced Engineering Informatics
A communication model for structural design objects. I: Channels and medium
Advances in Engineering Software
Design patterns for multiphysics modeling in Fortran 2003 and C++
ACM Transactions on Mathematical Software (TOMS)
Automatic generation techniques of a resource monitor based on deployment diagram
Proceedings of the 2009 International Conference on Hybrid Information Technology
Proceedings of the ACM SIGAda annual international conference on Ada and related technologies
TERMTrial-terminology-based documentation systems for cooperative clinical trials
Computer Methods and Programs in Biomedicine
Using UML models for the performance analysis of network systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
A generic framework for modeling heterogeneous real-time systems
Computer Standards & Interfaces
Component interfaces that support measurement uncertainty
Computer Standards & Interfaces
A product information modeling framework for product lifecycle management
Computer-Aided Design
An interactive program for GPS-based dynamic orbit determination of small satellites
Computers & Geosciences
Modeling geological objects with the XML Schema
Computers & Geosciences
A DEVS-oriented intuitive modeling language
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
A predictive controller for autonomous vehicle path tracking
IEEE Transactions on Intelligent Transportation Systems
Method Engineering: State-of-the-Art Survey and Research Proposal
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
IBM Systems Journal
ESEM '09 Proceedings of the 2009 3rd International Symposium on Empirical Software Engineering and Measurement
A PDA-based record-keeping and decision-support system for traceability in cucumber production
Computers and Electronics in Agriculture
A modeling framework for agile and interoperable virtual enterprises
Computers in Industry - Special issue: Advanced computer support of engineering and service processes of virtual enterprises
Modelling of occupational health and safety aspects in the Digital Factory
Computers in Industry - Special issue: The digital factory: an instrument of the present and the future
UML based specifications of PDM product structure and workflow
Computers in Industry
Information system modelling for engineering design co-ordination
Computers in Industry
EJB-based implementation of L1VPN NMS controlled by each customer
IM'09 Proceedings of the 11th IFIP/IEEE international conference on Symposium on Integrated Network Management
Modelling and simulation of granuloma formation in visceral leishmaniasis
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Language and Tool Support for Class and State Machine Refinement in UML-B
FM '09 Proceedings of the 2nd World Congress on Formal Methods
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
An Algebraic Theory Of Boundary Crossing Transitions
Electronic Notes in Theoretical Computer Science (ENTCS)
Thoughts on Requirements and Design Issues of User Interfaces for Proof Assistants
Electronic Notes in Theoretical Computer Science (ENTCS)
Transformation and Verification of Executable UML Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Investigating the mapping of an Enterprise Description Language into UML 2.0
Electronic Notes in Theoretical Computer Science (ENTCS)
An Abstract Equivalence Notion for Object Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
UML Automatic Verification Tool with Formal Methods
Electronic Notes in Theoretical Computer Science (ENTCS)
From UML Models to Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Type Theory and Language Constructs for Objects with States
Electronic Notes in Theoretical Computer Science (ENTCS)
A Constructive Object Oriented Modeling Language for Information Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Transformation of UML Models into Analyzable OSAN Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics of Visual Models in a Rule-based Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
Data model for a decision support in comprehensive nutrient management in the United States
Environmental Modelling & Software
Achieving knowledge interoperability: An XML/XSLT approach
Expert Systems with Applications: An International Journal
A theory of regular MSC languages
Information and Computation
The application of use cases in systems analysis and design specification
Information and Software Technology
Deriving objects from use cases in real-time embedded systems
Information and Software Technology
Quality and comprehension of UML interaction diagrams-an experimental comparison
Information and Software Technology
Combating architectural degeneration: a survey
Information and Software Technology
Enhancing class commutability in the deployment of design patterns
Information and Software Technology
Information and Software Technology
Information and Software Technology
Dynamic graphical UML views from formal B specifications
Information and Software Technology
An environment for describing software systems
WSEAS Transactions on Computers
A matrix-based approach to recovering design patterns
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
UML-B and Event-B: an integration of languages and tools
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Proving unreachability using bounded model checking
Proceedings of the 3rd India software engineering conference
Using information and communication technologies in intermodal freight transportation: a case study
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Engineering rich internet applications with a model-driven approach
ACM Transactions on the Web (TWEB)
International Journal of Computer Applications in Technology
Characterising embedded applications using a UML profile
SOC'09 Proceedings of the 11th international conference on System-on-chip
High-level design for user and component interfaces
Knowledge-Based Systems
A minimum cardinality consistency-checking algorithm for UML class diagrams
Proceedings of the International Conference and Workshop on Emerging Trends in Technology
Architecture and algorithms of the SOPHIE choreography framework
Journal of Intelligent Information Systems
On translating UML models into graph transformation systems
Journal of Visual Languages and Computing
PDM system implementation based on UML
Mathematics and Computers in Simulation
Towards a framework to manage formalised exchanges during collaborative design
Mathematics and Computers in Simulation
Models and tools for managing development processes
Models and tools for managing development processes
A framework for visual notation exchange
Journal of Visual Languages and Computing
Modeling and simulation competency center for mature enterprises
Proceedings of the International Workshop on Enterprises & Organizational Modeling and Simulation
UML - a universal modeling language?
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
ExSpect 6.4: an executable specification tool for hierarchical colored Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Using UML state machine models for more precise and flexible JADE agent behaviors
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Extending agent UML sequence diagrams
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Dynamic change in workflow-based coordination of distributed services
IWSAS'01 Proceedings of the 2nd international conference on Self-adaptive software: applications
Development scheme of haptic-based system for interactive deformable simulation
Computer-Aided Design
User interface declarative models and development environments: a survey
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Software agents: the future of web services
NODe'02 Proceedings of the NODe 2002 agent-related conference on Agent technologies, infrastructures, tools, and applications for E-services
Building automated negotiators
NODe'02 Proceedings of the NODe 2002 agent-related conference on Agent technologies, infrastructures, tools, and applications for E-services
The behavior-oriented design of modular agent intelligence
NODe'02 Proceedings of the NODe 2002 agent-related conference on Agent technologies, infrastructures, tools, and applications for E-services
A foundational analysis of software robustness using redundant agent collaboration
NODe'02 Proceedings of the NODe 2002 agent-related conference on Agent technologies, infrastructures, tools, and applications for E-services
SEM'02 Proceedings of the 3rd international conference on Software engineering and middleware
Revolutionizing software development
SEM'02 Proceedings of the 3rd international conference on Software engineering and middleware
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Evolving requirements through coordination contracts
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Hierarchical and recursive state machines with context-dependent properties
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
A context-based enterprise ontology
BIS'07 Proceedings of the 10th international conference on Business information systems
Deciding life-cycle inheritance on Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
A proposal for structuring Petri net-based agent interaction protocols
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Teaching software modeling in a simulated project environment
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Modelling recursive calls with UML state diagrams
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Detecting design flaws in UML state charts for embedded software
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Comparative experiences with electronic process guide generator tools
ICSP'07 Proceedings of the 2007 international conference on Software process
XPSwiki: an agile tool supporting the planning game
XP'03 Proceedings of the 4th international conference on Extreme programming and agile processes in software engineering
Developing testable web-applications with bugkilla
XP'03 Proceedings of the 4th international conference on Extreme programming and agile processes in software engineering
Low-level dynamic system formation with high-level automation: extending UML in support of UPnP
ACM SIGSOFT Software Engineering Notes
From entities and relationships to social actors and dependencies
ER'00 Proceedings of the 19th international conference on Conceptual modeling
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Towards use case and conceptual models through business modeling
ER'00 Proceedings of the 19th international conference on Conceptual modeling
A conceptual modeling framework for multi-agent information systems
ER'00 Proceedings of the 19th international conference on Conceptual modeling
A layered software specification architecture
ER'00 Proceedings of the 19th international conference on Conceptual modeling
A reuse-based object-oriented framework towards easy formulation of complex queries
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Evaluating the quality of reference models
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Measures for assessing dynamic complexity aspects of object-oriented conceptual schemes
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Measuring the quality of entity relationship diagrams
ER'00 Proceedings of the 19th international conference on Conceptual modeling
A diagrammatic tool for representing user interaction in UML
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
UML extension for ASAM-GDI device capability description
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Modular architecture for a toolset supporting OCL
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Consistent behaviour representation in activity and sequence diagrams
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
A UML-based methodology for hypermedia design
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
A structured approach to develop concurrent programs in UML
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Describing AI analysis patterns with UML
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Precise modeling of design patterns
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
Requirements analysis of agent-based simulation platforms: state of the art and new prospects
MABS'02 Proceedings of the 3rd international conference on Multi-agent-based simulation II
CoSDL - an experimental language for collaboration specification
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Inter-agent communication in cooperative information agent-based systems
CIA'99 Proceedings of the 3rd international conference on Cooperative information agents III
A requirements patterns-driven approach to specify systems and check properties
SPIN'03 Proceedings of the 10th international conference on Model checking software
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
Using the UML for architectural description
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
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
Nine suggestions for improving UML extensibility
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
UML-RT as a candidate for modeling embedded real-time systems in the telecommunication domain
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
Typechecking UML static models
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Analysing UML use cases as contracts
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
Using UML/OCL constraints for relational database design
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Towards a UML extension for hypermedia design
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Timed sequence diagrams and tool-based analysis: a case study
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
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
A pattern-based approach for modeling and analyzing error recovery
Architecting dependable systems IV
REFSQ'07 Proceedings of the 13th international working conference on Requirements engineering: foundation for software quality
Security requirements for civil aviation with UML and goal orientation
REFSQ'07 Proceedings of the 13th international working conference on Requirements engineering: foundation for software quality
Toward specifications for reconfigurable component systems
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Design pattern evolutions in QVT
Software Quality Control
Iterative software engineering for multiagent systems: the MASSIVE method
Iterative software engineering for multiagent systems: the MASSIVE method
A framework for business operations management systems
WISE'07 Proceedings of the 8th international conference on Web information systems engineering
ERCIM'06 Proceedings of the 9th conference on User interfaces for all
Augmenting traditional conceptual models to accommodate XML structural constructs
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Architecture recovery and evaluation aiming at program understanding and reuse
QoSA'07 Proceedings of the Quality of software architectures 3rd international conference on Software architectures, components, and applications
A design methodology for functional programs
SAIG'01 Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation
Connect with things through instant messaging
IOT'08 Proceedings of the 1st international conference on The internet of things
Transforming object-oriented models to process-oriented models
BPM'07 Proceedings of the 2007 international conference on Business process management
Metaphor modeling on the semantic web
Active conceptual modeling of learning
Formalizing fuzzy UML class diagrams with fuzzy description logics
IITA'09 Proceedings of the 3rd international conference on Intelligent information technology application
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Taming agents and objects in software engineering
Software engineering for large-scale multi-agent systems
The reflective blackboard pattern: architecting large multi-agent systems
Software engineering for large-scale multi-agent systems
Domain specific model-based development of software for programmable logic controllers
Computers in Industry
Generating transformation rules from examples for behavioral models
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
Environmental Modelling & Software
Model-based development of virtual laboratories for robotics over the internet
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on recent advances in biometrics
Business process modeling languages: Sorting through the alphabet soup
ACM Computing Surveys (CSUR)
CDADE: Conflict detector in activity diagram evolution based on speech act and ontology
Knowledge-Based Systems
TELE-INFO'10 Proceedings of the 9th WSEAS international conference on Telecommunications and informatics
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
ITHET'10 Proceedings of the 9th international conference on Information technology based higher education and training
Conceptual modeling of causal map: Object oriented causal map
Expert Systems with Applications: An International Journal
Software architecture awareness in long-term software product evolution
Journal of Systems and Software
WSEAS Transactions on Computers
The implementation and application of statecharts in real-time system in high energy physics
RTC'05 Proceedings of the 14th IEEE-NPSS conference on Real time
Evaluating UML2 modeling of IP-XACT objects for automatic MP-SoC integration onto FPGA
Proceedings of the Conference on Design, Automation and Test in Europe
Benefits and challenges in developing warship simulator based on DEVS formalism
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Representing and reasoning on fuzzy UML models: A description logic approach
Expert Systems with Applications: An International Journal
Expert Systems with Applications: An International Journal
Complete calculi for structured specifications in fork algebra
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
An agenda for concern-oriented software engineering
Proceedings of the FSE/SDP workshop on Future of software engineering research
A novel formal specification approach for real time multi-agent system functional requirements
MATES'10 Proceedings of the 8th German conference on Multiagent system technologies
A formal approach to designing secure software architectures
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Towards trusted composition in software design
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Software architecture and software configuration management
SCM'01/SCM'03 Proceedings of the 2001 ICSE Workshops on SCM 2001, and SCM 2003 conference on Software configuration management
A framework for process migration in software DSM environments
EURO-PDP'00 Proceedings of the 8th Euromicro conference on Parallel and distributed processing
Role activity diagrams as finite state processes
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
Disciplined heterogeneous modeling
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Supporting ERP open source customization with UML
Proceedings of the Workshop on Open Source and Design of Communication
How to achieve consistency for 3D city models
Geoinformatica
AutoPA: automatic prototyping from requirements
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
A survey of dynamic software metrics
Journal of Computer Science and Technology
Designing for schedulability: integrating schedulability analysis with object-oriented design
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Evolution of integrated automation approach
CIMMACS '10 Proceedings of the 9th WSEAS international conference on computational intelligence, man-machine systems and cybernetics
Generation of improved test cases from UML state diagram using genetic algorithm
Proceedings of the 4th India Software Engineering Conference
System testing using use cases for simulation model of an emergency room
International Journal of Advanced Intelligence Paradigms
Educational software for study the performances of some known parallel and sequential algorithms
WSEAS Transactions on Information Science and Applications
Object-oriented approach in developing knowledge base for a multimedia e-learning system
ICAI'05/MCBC'05/AMTA'05/MCBE'05 Proceedings of the 6th WSEAS international conference on Automation & information, and 6th WSEAS international conference on mathematics and computers in biology and chemistry, and 6th WSEAS international conference on acoustics and music: theory and applications, and 6th WSEAS international conference on Mathematics and computers in business and economics
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
Fuzzy information modeling in UML class diagram and relational database models
Applied Soft Computing
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
Using role-play diagrams to improve scenario role-play
Graph transformations and model-driven engineering
Using graph grammars for modeling wiring harnesses - an experience report
Graph transformations and model-driven engineering
Incremental reasoning with lazy behavioral subtyping for multiple inheritance
Science of Computer Programming
Parsed use case descriptions as a basis for object-oriented class model generation
Journal of Systems and Software
A quest for beauty and wealth (or, business processes for database researchers)
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
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
Expert Systems with Applications: An International Journal
Minds and Machines
An ontology-based spatio-temporal data model and query language for use in GIS-type applications
Proceedings of the 2nd International Conference on Computing for Geospatial Research & Applications
Architecture-based fault tolerance support for grid applications
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
Using grounded theory to study the experience of software development
Empirical Software Engineering
A comparative study of UML tools
ACAI '11 Proceedings of the International Conference on Advances in Computing and Artificial Intelligence
ACAI '11 Proceedings of the International Conference on Advances in Computing and Artificial Intelligence
Pattern-based approach for designing with diagrammatic and propositional conceptual models
DESRIST'11 Proceedings of the 6th international conference on Service-oriented perspectives in design science research
Requirements engineering for web applications: a comparative study
Journal of Web Engineering
Industrial acceptability of web design methods: an empirical study
Journal of Web Engineering
ebXML business-to-business integration based on semantic cloud computing architecture
KES-AMSTA'11 Proceedings of the 5th KES international conference on Agent and multi-agent systems: technologies and applications
UMLGrader: an automated class diagram grader
Journal of Computing Sciences in Colleges
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Visual help to learn programming
ACM Inroads
ECSA'11 Proceedings of the 5th European conference on Software architecture
INTERACT'11 Proceedings of the 13th IFIP TC 13 international conference on Human-computer interaction - Volume Part III
PRONTO: An ontology for comprehensive and consistent representation of product information
Engineering Applications of Artificial Intelligence
Using RFID for tracing cumulated resources and emissions in supply chain
International Journal of Ad Hoc and Ubiquitous Computing
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Verifying traits: a proof system for fine-grained reuse
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs
On identifying knowledge processing requirements
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Providing geographic-multidimensional decision support over the web
APWeb'05 Proceedings of the 7th Asia-Pacific web conference on Web Technologies Research and Development
Towards more flexible architecture description languages for industrial applications
EWSA'06 Proceedings of the Third European conference on Software Architecture
Model-Driven development of RTOS-Based embedded software
ISCIS'06 Proceedings of the 21st international conference on Computer and Information Sciences
Access control coherence of information systems based on security constraints
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
An approach for reversely generating hierarchical UML statechart diagrams
FSKD'06 Proceedings of the Third international conference on Fuzzy Systems and Knowledge Discovery
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and its Applications - Volume Part I
Modelling framework of a traceability system to improve knowledge sharing and collaborative design
CSCWD'05 Proceedings of the 9th international conference on Computer Supported Cooperative Work in Design II
Graph representation of the nested software structure
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part III
Derivation of UML class diagrams as static views of formal b developments
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
An OpenGIS®-based approach to define continuous field data within a visual environment
VISUAL'05 Proceedings of the 8th international conference on Visual Information and Information Systems
rCOS: refinement of component and object systems
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Domain requirements elicitation and analysis - an ontology-based approach
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part IV
Advances in Engineering Software
Using IDEF0 to enhance functional analysis in MOISE+ organizational modeling
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
Checking component-based embedded software designs for scenario-based timing specifications
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
UML-Based design flow and partitioning methodology for dynamically reconfigurable computing systems
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
On the integration of UML and petri nets in software development
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Improving text mining with controlled natural language: a case study for protein interactions
DILS'06 Proceedings of the Third international conference on Data Integration in the Life Sciences
Visual knowledge processing techniques: A brief review
Scientific and Technical Information Processing
NLDB'05 Proceedings of the 10th international conference on Natural Language Processing and Information Systems
Managing inheritance hierarchies in object/relational mapping tools
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Understanding the requirements on modelling techniques
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Component-based integration towards a frequency-regulating home appliance control system
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
Formal semantics for AUML agent interaction protocol diagrams
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
A metamodel for agents, roles, and groups
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Orchestration of semantic web services for large-scale document annotation
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Higher-Level information aspects of web systems: addressing the problem of disconnection
ICWE'05 Proceedings of the 5th international conference on Web Engineering
Discovering re-usable design solutions in web conceptual schemas: metrics and methodology
ICWE'05 Proceedings of the 5th international conference on Web Engineering
Causal closure for MSC languages
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Modeling and analysis of exception handling by using UML statecharts
FIDJI'04 Proceedings of the 4th international conference on Scientific Engineering of Distributed Java Applications
Coverage criteria for testing of object interactions in sequence diagrams
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
Non-deterministic constructs in OCL – what does any() mean
SDL'05 Proceedings of the 12th international conference on Model Driven
A formal framework for the development of concurrent object-based systems
Formal Methods in Software and Systems Modeling
Feasibility study for a legal knowledge system in the county of herford
EGOV'05 Proceedings of the 4th international conference on Electronic Government
A proposal for a semantic-driven egovernment service architecture
EGOV'05 Proceedings of the 4th international conference on Electronic Government
Design and implementation of an SSL component based on CBD
AsiaSim'04 Proceedings of the Third Asian simulation conference on Systems Modeling and Simulation: theory and applications
Modelling from knowledge versus modelling from rules using UML
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Performance analysis of a UML micro-business case study
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Integrating platform selection rules in the model driven architecture approach
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
A UML profile for OWL ontologies
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
A radix-8 multiplier design and its extension for efficient implementation of imaging algorithms
SAMOS'05 Proceedings of the 5th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
Support for task modeling: a ”constructive” exploration
EHCI-DSVIS'04 Proceedings of the 2004 international conference on Engineering Human Computer Interaction and Interactive Systems
SONIA: a methodology for natural agent development
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
Delegation modeling with paradigm
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Genetic design: amplifying our ability to deal with requirements complexity
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Annotations as context for searching documents
CoLIS'05 Proceedings of the 5th international conference on Context: conceptions of Library and Information Sciences
UML vs. classical vs. rhapsody statecharts: not all models are created equal
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Uniform support for modeling crosscutting structure
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Performance analysis of mobile systems
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
On business rules automation: the BR-centric IS development framework
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
How to manage uniformly software architecture at different abstraction levels
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
Blueprints and measures for ETL workflows
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
Synchronization contexts as a means to support collaborative modeling
CRIWG'05 Proceedings of the 11th international conference on Groupware: design, Implementation, and Use
Entity-relationship and object-oriented formalisms for modeling spatial environmental data
Environmental Modelling & Software
On refinement of software architectures
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
From automata networks to HMSCs: a reverse model engineering perspective
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Example-Based sequence diagrams to colored petri nets transformation using heuristic search
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
A story about formal methods adoption by a railway signaling manufacturer
FM'06 Proceedings of the 14th international conference on Formal Methods
Developing tools with fujaba XProM
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Privacy injector — automated privacy enforcement through aspects
PET'06 Proceedings of the 6th international conference on Privacy Enhancing Technologies
A generative approach for multi-agent system development
Software Engineering for Multi-Agent Systems III
Data semantics in location-based services
Journal on Data Semantics III
Component-Based Software Development for Embedded Systems
Behavioral types for embedded software: a survey
Component-Based Software Development for Embedded Systems
Control of simulation elements in virtual world
ACMOS'09 Proceedings of the 11th WSEAS international conference on Automatic control, modelling and simulation
Fork algebras as a sufficiently rich universal institution
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Efficient object querying for java
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
PERT based approach to performance analysis of multi–agent systems
ICAISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Soft Computing
Time in the adaptive tutoring process model
ITS'06 Proceedings of the 8th international conference on Intelligent Tutoring Systems
Transformation laws for UML-RT
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
A specification language and a framework for the execution of composite models in systems biology
Transactions on Computational Systems Biology VII
Three case-studies on common software process problems in software company acquisitions
EuroSPI'06 Proceedings of the 13th European conference on Software Process Improvement
Refinement of statemachines using event b semantics
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Representing NFRs and FRs: a goal-oriented and use case driven approach
SERA'04 Proceedings of the Second international conference on Software Engineering Research, Management and Applications
Current practices in the use of UML
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
Utilizing a multimedia UML framework for an image database application
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
Organizing and managing use cases
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
DDEMAS: a domain design technique for multi-agent domain engineering
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
An integrated framework for scenarios and state machines
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Processes and events in dynamic geo-networks
GeoS'05 Proceedings of the First international conference on GeoSpatial Semantics
An event driven approach to norms in artificial institutions
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Automatic generation of tutorial systems from development specification
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Supporting the building and analysis of an infrastructure portfolio using UML deployment diagrams
UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications
Modelling alarm management workflow in healthcare according to IHE framework by coloured Petri Nets
Engineering Applications of Artificial Intelligence
KR4HC'11 Proceedings of the 3rd international conference on Knowledge Representation for Health-Care
Implementation of access control model for distributed information systems using usage control
SIIS'11 Proceedings of the 2011 international conference on Security and Intelligent Information Systems
Formal framework to support organizational design
Knowledge-Based Systems
Supporting the building and analysis of an infrastructure portfolio using UML deployment diagrams
UML Modeling Languages and Applications
Computer Methods and Programs in Biomedicine
Heuristics to verify LTL properties of hierarchical systems
VECoS'08 Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems
Extending the UML with a multicast synchronisation
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
On the compositional properties of UML statechart diagrams
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Modeling fleet response in regulated fisheries: An agent-based approach
Mathematical and Computer Modelling: An International Journal
Threat scenario-based security risk analysis using use case modeling in information systems
Security and Communication Networks
Sustainability modelling and reporting: From roadmap to implementation
Decision Support Systems
An experimental evaluation of weak-branch criterion for class testing
Journal of Systems and Software
Reverse Engineering of Use Case Realizations in UML
ACM SIGSOFT Software Engineering Notes
Extending the value of prototypes with Panorama a tool to browse software artefacts
CHINZ '01 Proceedings of the Symposium on Computer Human Interaction
Information systems development based on visual domain specific language bilingva
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
Towards design engineering of ubiquitous information systems
DESRIST'12 Proceedings of the 7th international conference on Design Science Research in Information Systems: advances in theory and practice
A market mechanism for software component reuse: opportunities and barriers
Proceedings of the 14th Annual International Conference on Electronic Commerce
Expert Systems with Applications: An International Journal
Experiences with a compositional model checker in the healthcare domain
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
A Component Coordination Model Based on Mobile Channels
Fundamenta Informaticae
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Stitch: A language for architecture-based self-adaptation
Journal of Systems and Software
Mining textual requirements to assist architectural software design: a state of the art review
Artificial Intelligence Review
What is software architecture?
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
Local testing of message sequence charts is difficult
FCT'07 Proceedings of the 16th international conference on Fundamentals of Computation Theory
An extensible metadata framework for data quality assessment of composite structures
DaWaK'07 Proceedings of the 9th international conference on Data Warehousing and Knowledge Discovery
CMMI based software metrics to evaluate OOAD
Proceedings of the Second International Conference on Computational Science, Engineering and Information Technology
A relational model of object collaborations and its use in reasoning about relationships
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Software and Systems Modeling (SoSyM)
A situation model to support awareness in collaborative design
International Journal of Human-Computer Studies
UML modeling of load optimization for distributed computer systems based on genetic algorithm
ACM SIGSOFT Software Engineering Notes
Applying ontology-based blog to detect information system post-development change requests conflicts
Information Systems Frontiers
A Goal-Driven Management Approach based on Knowledge Exploitation for e-Government Projects
International Journal of Electronic Government Research
Towards Games for Knowledge Acquisition and Modeling
International Journal of Gaming and Computer-Mediated Simulations
Object-Role Modeling: Principles and Benefits
International Journal of Information System Modeling and Design
A Look Behind Conceptual Modeling Constructs in Information System Analysis and Design
International Journal of Information System Modeling and Design
Conceptual Modeling Method for Separation of Concerns and Integration of Structure and Behavior
International Journal of Information System Modeling and Design
Information Resources Management Journal
Comparing the Effect of Use Case Format on End User Understanding of System Requirements
Journal of Information Technology Research
Knowledge-Driven adaptive execution of care pathways based on continuous planning techniques
BPM' 2012 Proceedings of the 2012 international conference on Process Support and Knowledge Representation in Health Care
Modeling and validation of execution of tasks on high speed network under distributed environment
ACM SIGSOFT Software Engineering Notes
What's wrong with git?: a conceptual design analysis
Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
Experiences with using the systematic method for architecture recovery (SyMAR)
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
A design rule language for aspect-oriented programming
Journal of Systems and Software
Journal of Systems and Software
A preliminary study on the semantic representation of the notes to Dante Alighieri's Convivio
Proceedings of the 1st International Workshop on Collaborative Annotations in Shared Environment: metadata, vocabularies and techniques in the Digital Humanities
A web-centred approach to end-user software engineering
ACM Transactions on Software Engineering and Methodology (TOSEM) - Testing, debugging, and error handling, formal methods, lifecycle concerns, evolution and maintenance
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Unified modeling language: the teen years and growing pains
HCI International'13 Proceedings of the 15th international conference on Human Interface and the Management of Information: information and interaction design - Volume Part I
Salespoint: A Java framework for teaching object-oriented software development
Science of Computer Programming
Estudo comparativo entre técnicas de inspeção de usabilidade sobre diagramas de atividades
Proceedings of the 12th Brazilian Symposium on Human Factors in Computing Systems
Computer Science - Research and Development
On-Demand Online Real Estate Information System
International Journal of Strategic Information Technology and Applications
Reasoning about conceptual interoperability of simulations using meta-level graph relations
Intelligent Decision Technologies - Ontology Driven Interoperability for Agile Applications using Information Systems: Requirements and Applications for Agent Mediated Decision Support
Hi-index | 0.15 |
In The Unified Modeling Language User Guide, the original developers of the UML--Grady Booch, James Rumbaugh, and Ivar Jacobson--provide a tutorial to the core aspects of the language in a two-color format designed to facilitate learning. Starting with a conceptual model of the UML, the book progressively applies the UML to a series of increasingly complex modeling problems across a variety of application domains. This example-driven approach helps readers quickly understand and apply the UML. For more advanced developers, the book includes a learning track focused on applying the UML to advanced modeling problems.With The Unified Modeling Language User Guide, readers will:Understand what the UML is, what it is not, and why it is relevant to the development of software-intensive systemsMaster the vocabulary, rules, and idioms of the UML in order to "speak" the language effectivelyLearn how to apply the UML to a number of common modeling problemsSee illustrations of the UML's use interspersed with use cases for specific UML features, andGain insight into the UML from the original creators of the UML.