An object-oriented relational database
Communications of the ACM
Coherent models for object-oriented analysis
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Structured analysis and object-oriented development are not compatible
ACM SIGAda Ada Letters
Object-oriented graphics for requirements analysis and logical design
ACM SIGAda Ada Letters
SA-2-Ada: a methodology for deriving Ada designs from structured analysis specifications
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Manageable object-oriented development: abstraction, decomposition, and modeling
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Automatic abstraction of real-time software and re-implementation in Ada
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design
IEEE Transactions on Software Engineering
Using the Linda distribution paradigm to address a variety of computational balancing concerns
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Transfer of computing techniques to the chemical and petrochemical industries from NASA-JSC
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
A research typology for object-oriented analysis and design
Communications of the ACM - Special issue on analysis and modeling in software development
Communications of the ACM - Special issue on analysis and modeling in software development
Applying object-oriented analysis and design
Communications of the ACM - Special issue on analysis and modeling in software development
Communications of the ACM - Special issue on analysis and modeling in software development
Extending data modeling to cover the whole enterprise
Communications of the ACM - Special issue on analysis and modeling in software development
SGISL: a distributed computational environment supporting environmental and ecological research
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
A seminar course in object oriented programming
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
The design and implementation of hierarchical software systems with reusable components
ACM Transactions on Software Engineering and Methodology (TOSEM)
TOOLI: Table Object-Oriented Language Interface
ACM SIGPLAN OOPS Messenger
An object language versus an expert system shell: the school time-table example
ACM SIGPLAN OOPS Messenger
Using Harel statecharts to model object-oriented behavior
ACM SIGSOFT Software Engineering Notes
The process of object-oriented design
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
ET++SwapsManager: using object technology in the financial engineering domain
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Object-oriented system modeling with OMT
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
CHI '92 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Object-oriented analysis for evolving systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
An object-oriented model for intelligent networks
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Identifying a complete object oriented life cycle for large systems development
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Experiences in object oriented development
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
OOPSLA '91 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Semantic data modeling of hypermedia associations
ACM Transactions on Information Systems (TOIS)
The missing link in requirements engineering
ACM SIGSOFT Software Engineering Notes
Software reuse based on a large object-oriented library
ACM SIGSOFT Software Engineering Notes
OOPSLA '92 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
Finding an educational perspective for object-oriented development
OOPSLA '92 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
Teaching practical object-oriented software engineering
OOPSLA '92 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
Teaching object-oriented concepts to graduate and professional software developers
OOPSLA '92 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
Teaching object-oriented programming or using the object model to teach software engineering
OOPSLA '92 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
SIGCPR '93 Proceedings of the 1993 conference on Computer personnel research
Towards a requirements definition, specification and system design environment
EURO-DAC '92 Proceedings of the conference on European design automation
Information systems security design methods: implications for information systems development
ACM Computing Surveys (CSUR)
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
The O-O-O methodology for the object-oriented life cycle
ACM SIGSOFT Software Engineering Notes
A note on inheritance and state machines
ACM SIGSOFT Software Engineering Notes
A framework for dynamic program analyzers
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
On the purpose of object-oriented analysis
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Object oriented approach to MLS database application design
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Structural active object systems for simulation
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Roles for composite objects in object-oriented analysis and design
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Building and maintaining analysis-level class hierarchies using Galois Lattices
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Discrete event simulation modeling: directions for the '90s
WSC '92 Proceedings of the 24th conference on Winter simulation
System components for embedded information retrieval from multiple disparate information sources
UIST '93 Proceedings of the 6th annual ACM symposium on User interface software and technology
CHI '93 Proceedings of the INTERACT '93 and CHI '93 Conference on Human Factors in Computing Systems
An only undergraduate course in object-oriented technology
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
A data dictionary as a Lexicon: an application of linguistics in information systems
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Value propagation in object-oriented database part hierarchies
CIKM '93 Proceedings of the second international conference on Information and knowledge management
ROMAN-9X: a technique for representing object models in Ada 9X notation
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal Approach to Scenario Analysis
IEEE Software
Converting OO Models Into RDBMS Schema
IEEE Software
Comparing object-oriented analysis with knowledge acquisition
ACM SIGPLAN OOPS Messenger
A tutorial system on inorganic chemical formulations and reactions
ACM SIGCUE Outlook
M.E.R.O.DE.: a model-driven entity-relationship object-oriented Development method
ACM SIGSOFT Software Engineering Notes
Automated testing from object models
Communications of the ACM
Integrated object-oriented testing and development processes
Communications of the ACM
Formal methods: from object-based to object-oriented
ACM SIGPLAN Notices
A multiparadigm approach to compiler construction
ACM SIGPLAN Notices
An automated tool for analyzing completeness of equational specifications
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
TOBAC: a test case browser for testing object-oriented software
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
There's more to OOP than syntax!
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Ode: a self-guided, scenario-based learning environment for object-oriented design principles
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Complex associations: abstractions in object-oriented modeling
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Timethread-role maps for object-oriented design of real-time-and-distributed systems
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Integrating a part relationship into an open OODB system using metaclasses
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Object oriented methods using Fortran 90
ACM SIGPLAN Fortran Forum
An object-oriented approach to dialogue management in spoken language systems
CHI '94 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
MULTIMEDIA '94 Proceedings of the second ACM international conference on Multimedia
Collaborative realtime process management
ACM SIGOIS Bulletin - Special issue on workshop write-ups and position papers from CSCW'94
An extensible program representation for object-oriented software
ACM SIGPLAN Notices
The C++ interface in objectivity
ACM SIGPLAN Notices
Network management viewpoints: a new way of encompassing the network management complexity
ACM SIGCOMM Computer Communication Review
Capacity and performance analysis of computer systems
WSC '94 Proceedings of the 26th conference on Winter simulation
WSC '94 Proceedings of the 26th conference on Winter simulation
Exploiting style in architectural design environments
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Implementing internal program representations with Ada and Ada 9X
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Easy-Sim: using Ada 9X in a graphics system software architecture
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
An object-oriented, distributed architecture for large-scale Ada systems
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Using expert systems to understand object-oriented behavior
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Software engineering, C++, and Windows
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
OVIDE: a tool for data acquisition and validation
ACM SIGPLAN Notices
An object-oriented file system—an example of using the class hierarchy framework concept
ACM SIGOPS Operating Systems Review
EXPOSE: an HCI-counseling tool for user interface designers
ACM SIGCHI Bulletin
StandardView
Abstract Data Views: An Interface Specification Concept to Enhance Design for Reuse
IEEE Transactions on Software Engineering
The object-oriented hypermedia design model
Communications of the ACM
Object design for communication protocol software
ACM SIGPLAN OOPS Messenger
Formal specification of reusable interface objects
SSR '95 Proceedings of the 1995 Symposium on Software reusability
Mapping extended entity relationship model to object modeling technique
ACM SIGMOD Record
Internal representation and rule development in object-oriented design
ACM Transactions on Computer-Human Interaction (TOCHI)
A pragmatic approach to C++, Eiffel and Ada 9X programming
ACM SIGPLAN Notices
Design of reusable IR framework
SIGIR '95 Proceedings of the 18th annual international ACM SIGIR conference on Research and development in information retrieval
A reengineering framework for small scale software
ACM SIGSOFT Software Engineering Notes
Extending the statechart formalism: event scheduling & disposition
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Object-oriented state machines: subclassing, composition, delegation, and genericity
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Lessons from the experiences of leading-edge object technology projects in Hewlett-Packard
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
How and why to encapsulate class trees
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Geometric modeling: a new fundamental framework and its practical implications
SMA '95 Proceedings of the third ACM symposium on Solid modeling and applications
ACM SIGSOFT Software Engineering Notes
DSSA (Domain-Specific Software Architecture): pedagogical example
ACM SIGSOFT Software Engineering Notes
Conflicting class structures between the object oriented paradigm and users concepts
CHI '95 Conference Companion on Human Factors in Computing Systems
Usability engineering turns 10
interactions
Models, prototypes, and evaluations for HCI design: making the structured approach practical
CHI '95 Conference Companion on Human Factors in Computing Systems
Enterprise Objects Framework: a second generation object-relational enabler
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Applying specialization to process models
COCS '95 Proceedings of conference on Organizational computing systems
PATHOS—a paradigmatic approach to high-level object-oriented software development
ACM SIGSOFT Software Engineering Notes
Object-oriented high-level modeling of system components for the generation of VHDL code
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
WSC '95 Proceedings of the 27th conference on Winter simulation
Case tool for ODBMS design of the functional description of the battlespace
WSC '95 Proceedings of the 27th conference on Winter simulation
PARTS: a temporal logic-based real-time software specification and verification method
Proceedings of the 17th international conference on Software engineering
Supporting evolution and maintenance by using a flexible automatic code generator
Proceedings of the 17th international conference on Software engineering
Designing DEEPER: towards a user-centered development environment
Proceedings of the 1st conference on Designing interactive systems: processes, practices, methods, & techniques
OBSM: a notation to integrate different levels of user interface design
Proceedings of the 1st conference on Designing interactive systems: processes, practices, methods, & techniques
An integration of scenarios with their purposes in task modeling
Proceedings of the 1st conference on Designing interactive systems: processes, practices, methods, & techniques
A framework for understanding the integration of design methodologies
ACM SIGSOFT Software Engineering Notes
Translating SQL for database reengineering
ACM SIGPLAN Notices
TROLL: a language for object-oriented specification of information systems
ACM Transactions on Information Systems (TOIS)
A strategy for mapping from function-oriented software models to object-oriented software models
ACM SIGSOFT Software Engineering Notes
Modularization techniques for active rules design
ACM Transactions on Database Systems (TODS)
How to identify binary relations for domain models
Proceedings of the 18th international conference on Software engineering
Proceedings of the 18th international conference on Software engineering
An object-oriented implementation of B-ISDN signalling—part 2: extendability stands the test
Proceedings of the 18th international conference on Software engineering
Executable object modeling with statecharts
Proceedings of the 18th international conference on Software engineering
Scene: using scenario diagrams and active text for illustrating object-oriented programs
Proceedings of the 18th international conference on Software engineering
Monitoring compliance of a software system with its high-level design models
Proceedings of the 18th international conference on Software engineering
Simplifying data integration: the design of the desert software development environment
Proceedings of the 18th international conference on Software engineering
Mapping a functional specification to an object-oriented specification in software re-engineering
CSC '96 Proceedings of the 1996 ACM 24th annual conference on Computer science
Business language analysis for object-oriented information systems
IBM Systems Journal
Automatic code generation from design patterns
IBM Systems Journal
Evolution and Reuse of Orthogonal Architecture
IEEE Transactions on Software Engineering
Transition to object-oriented software development
Communications of the ACM
ACM Computing Surveys (CSUR)
Software tools and environments
ACM Computing Surveys (CSUR)
Systematic hypermedia application design with OOHDM
Proceedings of the the seventh ACM conference on Hypertext
Object-oriented cosynthesis of distributed embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Service and network management in the OAMS open service architecture
ACM SIGCOMM Computer Communication Review
Evaluating The Mediator Method: Prism as a Case Study
IEEE Transactions on Software Engineering
ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes
NDHORM: an OO approach to requirements modeling
ACM SIGSOFT Software Engineering Notes
How reuse influences productivity in object-oriented systems
Communications of the ACM
Code reuse in an optimizing compiler
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Environmental acquisition: a new inheritance-like abstraction mechanism
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Dynamic structure in software architectures
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Evolution of object behavior using context relations
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
A Validation of Object-Oriented Design Metrics as Quality Indicators
IEEE Transactions on Software Engineering
DAC '96 Proceedings of the 33rd annual Design Automation Conference
The situation in object-oriented specification and design
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
On parallel object oriented programming in Fortran 90
ACM SIGAPP Applied Computing Review
Static, dynamic and run-time modeling of compound classes
ACM SIGPLAN Notices
Manual and compiler for the terse and modular language DEM
ACM SIGPLAN Notices
Using object-orientation as a common basis for system development education
ACM SIGPLAN Notices
Self organising software architectures
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
ACM Computing Surveys (CSUR)
Capturing design expertise in software architecture design environments
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Supporting viewpoints in Metaview
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
An approach to conceptual feedback in multiple viewed software requirements modeling
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
The design and implementation of an object-oriented toolkit for 3D graphics and visualization
Proceedings of the 7th conference on Visualization '96
A new resource for C++ programmers and an invitation for participation
ACM SIGPLAN Notices
Annealing and data decomposition in VDM
ACM SIGPLAN Notices
A case-tool for supporting navigation in the class hierarchy
ACM SIGSOFT Software Engineering Notes
Issues in designing an information model for application development
ACM SIGSOFT Software Engineering Notes
An approach for integrated specification and design of real-time systems
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Family traits in business objects and their applications
IBM Systems Journal
Object persistence in object-oriented applications
IBM Systems Journal
An object-oriented modeling method for algebraic specifications in CafeOBJ
ICSE '97 Proceedings of the 19th international conference on Software engineering
Formalizing and integrating the dynamic model within OMT
ICSE '97 Proceedings of the 19th international conference on Software engineering
A case study of distributed, asynchronous software inspection
ICSE '97 Proceedings of the 19th international conference on Software engineering
Communication metrics for software development
ICSE '97 Proceedings of the 19th international conference on Software engineering
Visualizing interactions in program executions
ICSE '97 Proceedings of the 19th international conference on Software engineering
An improved process for the development of PLC software
ICSE '97 Proceedings of the 19th international conference on Software engineering
Hooking into object-oriented application frameworks
ICSE '97 Proceedings of the 19th international conference on Software engineering
Tailoring OMT for an industry software project
ICSE '97 Proceedings of the 19th international conference on Software engineering
An object-oriented approach to VRML development
VRML '97 Proceedings of the second symposium on Virtual reality modeling language
Reuse library interoperability and the World Wide Web
ICSE '97 Proceedings of the 19th international conference on Software engineering
Java-based query driven simulation environment
WSC '96 Proceedings of the 28th conference on Winter simulation
Families of models that cross levels of resolution: issues for design, calibration and management
WSC '93 Proceedings of the 25th conference on Winter simulation
Towards a computer aided simulation model engineering (CASME) environment
WSC '93 Proceedings of the 25th conference on Winter simulation
Requirements, models, and prototypes for HCI design
Conference Companion on Human Factors in Computing Systems
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Object oriented requirements analysis for a model Ada runtime system
WADAS '92 Proceedings of the ninth Washington Ada symposium on Ada: Empowering software users and developers
SAAM: a method for analyzing the properties of software architectures
ICSE '94 Proceedings of the 16th international conference on Software engineering
On formal requirements modeling languages: RML revisited
ICSE '94 Proceedings of the 16th international conference on Software engineering
Distributed software engineering
ICSE '94 Proceedings of the 16th international conference on Software engineering
The GeoOOA-tool and its interface to open software development environments for GIS
GIS '96 Proceedings of the 4th ACM international workshop on Advances in geographic information systems
Open implementation analysis and design
Proceedings of the 1997 symposium on Software reusability
A summary of domain analysis experience by way of heuristics
Proceedings of the 1997 symposium on Software reusability
From domain models to architecture frameworks
Proceedings of the 1997 symposium on Software reusability
Using metamodels of methodologies to determine the needs for reusability support
Proceedings of the 1997 symposium on Software reusability
Reuse library interoperability and the World Wide Web
Proceedings of the 1997 symposium on Software reusability
Characteristics of modern system implementation languages
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
Application of object-oriented technology for integrating heterogeneous database systems
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
How to adapt OO development methods in a software development organization — a case study
OOPSLA '94 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
Learning object-oriented concepts with multimedia technology
OOPSLA '93 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
Comparison of OOA and real-time SA—from the experiment of analyzing an image filing system
OOPSLA '93 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
Standardizing the reuse of software processes
StandardView - Special issue on reuse standards and software
Software development process: a necessary evil
Communications of the ACM
The Zeno argumentation framework
Proceedings of the 6th international conference on Artificial intelligence and law
Why inheritance means extra trouble
Communications of the ACM
Designing more deeper: integrating task analysis, process simulation, & object definition
DIS '97 Proceedings of the 2nd conference on Designing interactive systems: processes, practices, methods, and techniques
UML (panel): the language of blueprints for software?
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Constraint diagrams: visualizing invariants in object-oriented models
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Using objects for systems analysis
Communications of the ACM
ESP '97 Papers presented at the seventh workshop on Empirical studies of programmers
How is the designer different from the user?—Focusing on a software development methodology
ESP '97 Papers presented at the seventh workshop on Empirical studies of programmers
Determining role rights from use cases
RBAC '97 Proceedings of the second ACM workshop on Role-based access control
Reconciling role based management and role based access control
RBAC '97 Proceedings of the second ACM workshop on Role-based access control
A framework for the management of past experiences with time-extended situations
CIKM '97 Proceedings of the sixth international conference on Information and knowledge management
GADGET: goal-oriented application design guidance for modular visualization environments
VIS '97 Proceedings of the 8th conference on Visualization '97
Design reuse in hypermedia applications development
HYPERTEXT '97 Proceedings of the eighth ACM conference on Hypertext
Generating the architecture of GIS applications with design patterns
GIS '97 Proceedings of the 5th ACM international workshop on Advances in geographic information systems
Developing multimedia applications with the WinWin spiral model
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
A pattern-based application generator for building simulation
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Formalizing software architectures: an industrial experience
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Simulating requirements gathering
SIGCSE '97 Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education
Proceedings of the 29th conference on Winter simulation
A framework for developing and managing objects in a complex simulation system
Proceedings of the 29th conference on Winter simulation
Proceedings of the 29th conference on Winter simulation
Automating the metamodeling process
Proceedings of the 29th conference on Winter simulation
A framework for distributed object-oriented multimodeling and simulation
Proceedings of the 29th conference on Winter simulation
A reusability measurement framework and tool for Ada 95
Proceedings of the conference on TRI-Ada '97
An Ada95 basis for propagation modeling
Proceedings of the conference on TRI-Ada '97
Communication protocol design to facilitate re-use based on the object-oriented paradigm
Mobile Networks and Applications - Special issue: protocols for mobile environments
A note on state modeling through inheritance
ACM SIGSOFT Software Engineering Notes
Using an object-oriented software life-cycle model in the software engineering course
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
Frameworks for component-based client/server computing
ACM Computing Surveys (CSUR)
Turning light bulbs into objects
Addendum to the 1997 ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (Addendum)
Experiences Using Lightweight Formal Methods for Requirements Modeling
IEEE Transactions on Software Engineering
Evolution of Object Behavior Using Context Relations
IEEE Transactions on Software Engineering
Design of Flexible Static Program Analyzers with PQL
IEEE Transactions on Software Engineering
Isomorph-free model enumeration: a new method for checking relational specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Evaluation of hypermedia application development and management systems
Proceedings of the ninth ACM conference on Hypertext and hypermedia : links, objects, time and space---structure in hypermedia systems: links, objects, time and space---structure in hypermedia systems
Generating hypertext explanations for visual languages
Proceedings of the ninth ACM conference on Hypertext and hypermedia : links, objects, time and space---structure in hypermedia systems: links, objects, time and space---structure in hypermedia systems
Technologies for repository interoperation and access control
Proceedings of the third ACM conference on Digital libraries
Object normal forms and dependency constraints for object-oriented schemata
ACM Transactions on Database Systems (TODS)
A Framework-Based Approach to the Development of Network-Aware Applications
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Embedded documentation for semi-automatic program construction and software reuse
ACM SIGSOFT Software Engineering Notes
How to improve the quality of software engineering project management
ACM SIGSOFT Software Engineering Notes
Agent design patterns: elements of agent application design
AGENTS '98 Proceedings of the second international conference on Autonomous agents
Actor-based computing: vision forestalled, vision fulfilled
AGENTS '98 Proceedings of the second international conference on Autonomous agents
IBM business framework: San Francisco project technical overview
IBM Systems Journal
Communication Metrics for Software Development
IEEE Transactions on Software Engineering
Control principles and role hierarchies
RBAC '98 Proceedings of the third ACM workshop on Role-based access control
RBAC '98 Proceedings of the third ACM workshop on Role-based access control
Ownership types for flexible alias protection
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A wideband approach to integrating performance prediction into a software design environment
Proceedings of the 1st international workshop on Software and performance
Performance analysis of communication systems formally specified in SDL
Proceedings of the 1st international workshop on Software and performance
On a language based method for software performance engineering of client/server systems
Proceedings of the 1st international workshop on Software and performance
Predicting memory use from a class diagram using dynamic information
Proceedings of the 1st international workshop on Software and performance
Performance evaluation of software architectures
Proceedings of the 1st international workshop on Software and performance
Engineering Software Design Processes to Guide Process Execution
IEEE Transactions on Software Engineering
Model checking of hierarchical state machines
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Subsystem design guidelines for extensible general-purpose software
ISAW '98 Proceedings of the third international workshop on Software architecture
Using view-based models to formalize architecture description
ISAW '98 Proceedings of the third international workshop on Software architecture
Querying future telecommunication networks
Proceedings of the seventh international conference on Information and knowledge management
Refining an object-oriented GIS design model: topologies and field data
Proceedings of the 6th ACM international symposium on Advances in geographic information systems
Jumping into Java: object-oriented software development for the masses
ACSE '98 Proceedings of the 3rd Australasian conference on Computer science education
MAP: a functional analysis and design method
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Performance analysis of Intel MMX technology for an H.263 video H.263 video encoder
MULTIMEDIA '98 Proceedings of the sixth ACM international conference on Multimedia
ICOS: an intelligent concurrent object-oriented synthesis methodology for multiprocessor systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Eliciting software process models with the E3 language
ACM Transactions on Software Engineering and Methodology (TOSEM)
From object-oriented to goal-oriented requirements analysis
Communications of the ACM
Connecting the design of software to the design
Communications of the ACM
From formal models to formally based methods: an industrial experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
ANSWER: network monitoring using object-oriented rules
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Managing the software design documents with XML
Proceedings of the 16th annual international conference on Computer documentation
An OO framework in the bulk data transfer domain
ACM SIGAPP Applied Computing Review - Special issue on frameworks and patterns in software reuse
From process modeling to domain modeling
ACM SIGAPP Applied Computing Review - Special issue on frameworks and patterns in software reuse
Requirements Elicitation and Validation with Real World Scenes
IEEE Transactions on Software Engineering
Guiding Goal Modeling Using Scenarios
IEEE Transactions on Software Engineering
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Use Case Maps as Architectural Entities for Complex Systems
IEEE Transactions on Software Engineering
A Unified Framework for Coupling Measurement in Object-Oriented Systems
IEEE Transactions on Software Engineering
Trace-Based Load Characterization for Generating Performance Software Models
IEEE Transactions on Software Engineering
Object-oriented database management system for process control systems—development and evaluation
Proceedings of the 1999 ACM symposium on Applied computing
Moving industry-guided multimedia technology into the classroom
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
A methodology for agent-oriented analysis and design
Proceedings of the third annual conference on Autonomous Agents
Design components: toward software composition at the design level
Proceedings of the 20th international conference on Software engineering
Restructuring OODesigner: a CASE tool for OMT
Proceedings of the 20th international conference on Software engineering
Software size measurement and productivity rating in a large-scale software development department
Proceedings of the 20th international conference on Software engineering
Designing an application development model for a large banking organization
Proceedings of the 20th international conference on Software engineering
Integrating graphics and abstract data to visualize temporal constraints
ACM SIGART Bulletin
Lightweight extraction of object models from bytecode
Proceedings of the 21st international conference on Software engineering
Automatic method refactoring using weighted dependence graphs
Proceedings of the 21st international conference on Software engineering
Generalizing perspective-based inspection to handle object-oriented development artifacts
Proceedings of the 21st international conference on Software engineering
Haemo dialysis software architecture design experiences
Proceedings of the 21st international conference on Software engineering
Architectural framework modeling in telecommunication domain
Proceedings of the 21st international conference on Software engineering
Interactive 3D sound hyperstories for blind children
Proceedings of the SIGCHI conference on Human Factors in Computing Systems
WSC '91 Proceedings of the 23rd conference on Winter simulation
Visual software development using an object-relationship model
ACM-SE 37 Proceedings of the 37th annual Southeast regional conference (CD-ROM)
STARSIM: an object-oriented simulation model of space shuttle ground processing activities
ANSS '92 Proceedings of the 25th annual symposium on Simulation
An Object-Oriented Framework for Loop Parallelization
The Journal of Supercomputing
Metrics and Criteria for Quality Assessment of Testable Hw/Sw Systems Architectures
Journal of Electronic Testing: Theory and Applications - Special issue on the IEEE European Test Workshop
Shadow-object interface between Fortran 95 and C++
Computing in Science and Engineering
A market-driven approach to teaching software components engineering
Annals of Software Engineering - Special issue on software engineering education
A stakeholder win–win approach to software engineering education
Annals of Software Engineering - Special issue on software engineering education
Object-Oriented Analysis and Design of a Health Care Management Information System
Journal of Medical Systems
The impact of object-orientation on application development
IBM Systems Journal
A work area adjustment method of a shared document in a multipoint multimedia conference system
MULTIMEDIA '99 Proceedings of the seventh ACM international conference on Multimedia (Part 2)
Spatial data integrity constraints in object oriented geographic data modeling
Proceedings of the 7th ACM international symposium on Advances in geographic information systems
Planning the acoustic urban environment: a GIS-centered approach
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
Comprehending Object and Process Models: An Empirical Study
IEEE Transactions on Software Engineering
PRIME—toward process-integrated modeling environments: 1
ACM Transactions on Software Engineering and Methodology (TOSEM)
Incremental system development of large discrete-event simulation models
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 1
A widely deployable Web-based network simulation framework using CORBA IDL-based APIs
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 2
Development life-cycle WITH reuse
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Program transformation to enhance the reuse potential of procedural software
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
3D behavioral model design for simulation and software engineering
VRML '00 Proceedings of the fifth symposium on Virtual reality modeling language (Web3D-VRML)
Strategies for developing reusable software components in Ada-95
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Object oriented process modeling with fuzzy logic
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Tools and approaches for developing data-intensive Web applications: a survey
ACM Computing Surveys (CSUR)
An ontological analysis of the relationship construct in conceptual modeling
ACM Transactions on Database Systems (TODS)
Modeling industrial embedded systems with UML
CODES '00 Proceedings of the eighth international workshop on Hardware/software codesign
An extensible model of architecture description
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Using abstractions for spatio-temporal conceptual modeling
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Automatic generation of RDBMS based applications from object oriented design schemes
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
Software evolution in componentware using requirements/assurances contracts
Proceedings of the 22nd international conference on Software engineering
A formal approach for designing CORBA based applications
Proceedings of the 22nd international conference on Software engineering
Object model resurrection — an object oriented maintenance activity
Proceedings of the 22nd international conference on Software engineering
Network integrated supervisory control for power systems based on distributed objects
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Software Agent-Oriented Frameworks for Global Query Processing
Journal of Intelligent Information Systems
An Automatic Class Generation Mechanism by Using Method Integration
IEEE Transactions on Software Engineering
Real-Time Object-Oriented Design and Formal Methods
Real-Time Systems - Selected papers from IFAC/IFIP workshops on real-time programming
Teaching object-orientation with the Object Visualization and Annotation Language (OVAL)
Proceedings of the 5th annual SIGCSE/SIGCUE ITiCSEconference on Innovation and technology in computer science education
A Theory-Based Representation for Object-Oriented Domain Models
IEEE Transactions on Software Engineering
Integrating legacy systems in distributed object architecture
ACM SIGSOFT Software Engineering Notes
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Deriving a queueing network based performance model from UML diagrams
Proceedings of the 2nd international workshop on Software and performance
A pattern-based approach to model software performance
Proceedings of the 2nd international workshop on Software and performance
Enterprise frameworks characteristics, criteria, and challenges
Communications of the ACM
The ups and downs of object-oriented systems development
Communications of the ACM
A model based reasoning approach to network monitoring
CIKM '96 Proceedings of the workshop on Databases: active and real-time
A knowledge-based method for inferring semantic concepts from visual models of system behavior
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using a semantic model and XML for document annotation
IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
Understanding relationships with attributes in entity-relationship diagrams
ICIS '99 Proceedings of the 20th international conference on Information Systems
The use of object-oriented models in requirements engineering: a field study
ICIS '99 Proceedings of the 20th international conference on Information Systems
Towards agent-oriented assistance for framework instantiation
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
A meta model and an infrastructure for the non-transparent replication of object databases
Proceedings of the ninth international conference on Information and knowledge management
Emancipating instances from the tyranny of classes in information modeling
ACM Transactions on Database Systems (TODS)
Teaching object-oriented development with emphasis on pattern application
ACSE '00 Proceedings of the Australasian conference on Computing education
Toward a Mathematical Foundation of Software Engineering Methods
IEEE Transactions on Software Engineering
Embedded tutorial: TRP: integrating embedded test and ATE
Proceedings of the conference on Design, automation and test in Europe
How difficult is the transition from OOA to OOD? (panel session)
OOPSLA '00 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
An object-oriented model for specification, prototyping, implementation and reuse
Proceedings of the conference on Design, automation and test in Europe
Multiparadigm design of a simple relational database
ACM SIGPLAN Notices
Agent-oriented software engineering: the state of the art
First international workshop, AOSE 2000 on Agent-oriented software engineering
Agent-oriented modeling with graph transformation
First international workshop, AOSE 2000 on Agent-oriented software engineering
On the identification of agents in the design of production control systems
First international workshop, AOSE 2000 on Agent-oriented software engineering
An overview of the multiagent systems engineering methodology
First international workshop, AOSE 2000 on Agent-oriented software engineering
POSE: a parallel object-oriented synthesis environment
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A mapping algorithm for computer-assisted exploration in the design of embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Lightweight Extraction of Object Models from Bytecode
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Producing reusable object-oriented components: a domain-and-organization-specific perspective
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
Communications of the ACM
Improving the agent-oriented modeling process by roles
Proceedings of the fifth international conference on Autonomous agents
Swiss postbank: Ada in a commercial application
Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world
Ada 95 as implementation language for object-oriented designs
Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world
A survey of object-oriented methodologies
Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world
The Communication Bottleneck in Knitwear Design: Analysis and Computing Solutions
Computer Supported Cooperative Work
Object oriented modelling with object petri nets
Concurrent object-oriented programming and petri nets
Concurrency in communicating object petri nets
Concurrent object-oriented programming and petri nets
On formalizing UML with high-level petri nets
Concurrent object-oriented programming and petri nets
Inheritance of dynamic behavior
Concurrent object-oriented programming and petri nets
Object coloured Petri nets - a formal technique for object oriented modelling
Concurrent object-oriented programming and petri nets
Control properties in object-oriented specifications
Concurrent object-oriented programming and petri nets
IEEE Transactions on Software Engineering
A component-based approach to building formal analysis tools
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A general framework for formalizing UML with formal languages
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
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
Knowledge capability and maturity in software management
ACM SIGMIS Database - Special issue on infomration systems: current issues and future changes
SIGDOC '01 Proceedings of the 19th annual international conference on Computer documentation
A methodology for specifying and analyzing consistency of object-oriented behavioral models
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Model checking of hierarchical state machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Behavior-consistent specialization of object life cycles
ACM Transactions on Software Engineering and Methodology (TOSEM)
VRID: a design model and methodology for developing virtual reality interfaces
VRST '01 Proceedings of the ACM symposium on Virtual reality software and technology
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Viewing use cases as active objects
ACM SIGSOFT Software Engineering Notes
Agent-oriented analysis and modeling
ACM SIGSOFT Software Engineering Notes
An application framework for dynamic distributed software architectures
Progress in computer research
Controlling Aggregation in Distributed Object Systems: A Graph-Based Approach
IEEE Transactions on Parallel and Distributed Systems
Proceedings of the 2002 ACM symposium on Applied computing
Optimizing production work flow using OpEMCSS
Proceedings of the 32nd conference on Winter simulation
ACM SIGAPP Applied Computing Review
SOMA: a paradigm to evolve software based on separation of concerns
Proceedings of the International Workshop on Principles of Software Evolution
A Hierarchical Model for Object-Oriented Design Quality Assessment
IEEE Transactions on Software Engineering
Metaphor and metonymy in object-oriented design patterns
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Aggregation query model for OODBMS
CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
Using design patterns to build a framework for multimedia networking
Design patterns in communications software
Knowledge-Based Automation of a Design Method for Concurrent Systems
IEEE Transactions on Software Engineering
An application framework for dynamic distributed software architectures
Progress in computer research
Agent oriented programming with Ada'95: application to financial markets
ACM SIGAda Ada Letters
A Logical Theory of Interfaces and Objects
IEEE Transactions on Software Engineering
An object-oriented design process for system-on-chip using UML
Proceedings of the 15th international symposium on System Synthesis
Architecture and design of adaptive object-models
ACM SIGPLAN Notices
Metadata modeling in a global computing environment
Proceedings of the 10th ACM international symposium on Advances in geographic information systems
Principles of component-based design of intelligent agents
Data & Knowledge Engineering
A simulation-based decision support system for business process planning
Fuzzy Sets and Systems - Theme: Decision and optimization
Software requirements and acceptance testing
Annals of Software Engineering
Abstraction and context in requirements engineering: Toward a synthesis
Annals of Software Engineering
Viewpoints: principles, problems and a practical approach to requirements engineering
Annals of Software Engineering
Elements underlying the specification of requirements
Annals of Software Engineering
A practical approach to combining requirements definition and object-oriented analysis
Annals of Software Engineering
Object modelling languages: An evaluation and some key expectations for the future
Annals of Software Engineering
From conceptual modelling to requirements engineering
Annals of Software Engineering
An approach for pattern oriented software development based on a design handbook
Annals of Software Engineering
Mapping software: Are we nearing standardization?
Annals of Software Engineering
Toward a discipline of scenario-based architectural engineering
Annals of Software Engineering
Design-code traceability for object-oriented systems
Annals of Software Engineering
The use of domain knowledge in program understanding
Annals of Software Engineering
Developing and Maintaining an Object-Oriented Distributed Multimedia Information System
Annals of Software Engineering
Towards a General Component Model for Web-Based Applications
Annals of Software Engineering
A Framework for Community Information Systems
Annals of Software Engineering
GEAMAS: A Generic Architecture for Agent-Oriented Simulations ofComplex Processes
Applied Intelligence
Logic Control and “Reactive” Systems: Algorithmization and Programming
Automation and Remote Control
Apel: A Graphical Yet Executable Formalism forProcess Modeling
Automated Software Engineering
Extending Design Environments to Software Architecture Design
Automated Software Engineering
Developing Knowledge-Based Systems with MIKE
Automated Software Engineering
Formal Specifications of User Requirements
Automated Software Engineering
Mapping Procedural Patterns to Object-Oriented Design Patterns
Automated Software Engineering
Logic of Change: Semantics of Object Systemswith Active Relations
Automated Software Engineering
The Model-Composition Problem in User-Interface Generation
Automated Software Engineering
Behavioural Conflicts in a Causal Specification
Automated Software Engineering
Selected Issues in Object-oriented Database Design
BT Technology Journal
Object-Oriented Design of QoS Multicast Communications
Cluster Computing
A Model to Evaluate the Effect of Organizational Adaptation
Computational & Mathematical Organization Theory
Process Specialization: Defining Specialization for State Diagrams
Computational & Mathematical Organization Theory
An Experimental Comparison of the Maintainability of Object-Orientedand Structured Design Documents
Empirical Software Engineering
A Unified Framework for Cohesion Measurement in Object-OrientedSystems
Empirical Software Engineering
A Function Point-Like Measure for Object-Oriented Software
Empirical Software Engineering
A Preliminary Software Engineering Theory as Investigated by Published Experiments
Empirical Software Engineering
A Review of Experimental Investigations into Object-Oriented Technology
Empirical Software Engineering
Artificial evil and the foundation of computer ethics
Ethics and Information Technology
Conceptual Data Modeling for Spatiotemporal Applications
Geoinformatica
Heuristics for the Phylogeny Problem
Journal of Heuristics
IBIZA: E-market Infrastructure for Custom-built Information Products
Information Systems Frontiers
The OCoN Approach to Workflow Modeling in Object-Oriented Systems
Information Systems Frontiers
A Theory of Object-Oriented Design
Information Systems Frontiers
Information Technology and Management
A Review of Approaches to Developing Service Management Systems
Journal of Network and Systems Management
Managing Multimedia Network Services
Journal of Network and Systems Management
Contrasting OSI Systems Management to SNMP andTMN
Journal of Network and Systems Management
A Framework for Designing Distributed ManagementApplications
Journal of Network and Systems Management
Formalizing GDMO Action and NotificationDefinitions — Results from a Case Study
Journal of Network and Systems Management
TINA Network Resource Information Model
Journal of Network and Systems Management
Multimedia Resources: An Information Model and ItsApplication to an MPEG2 Video Codec
Journal of Network and Systems Management
Design and Query Strategies to Hypermedia Applications
Multimedia Tools and Applications
Multimedia Tools and Applications
A framework for micropayment evaluation
Netnomics
Conceptual modelling of web sites for end-users
World Wide Web
Iterative design and testing within the software development life cycle
Software Quality Control
An Experience in Testing an Object-Oriented Satellite Control System
Software Quality Control
Data & Knowledge Engineering
Consistency of the static and dynamic components of object-oriented specifications
Data & Knowledge Engineering
A trace model for system requirements changes on embedded systems
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
Visual requirement representation
Journal of Systems and Software
Verification of Hierarchical State/Event Systems using Reusability and Compositionality
Formal Methods in System Design
A component-based Petri net model for specifying and validating cooperative information systems
Data & Knowledge Engineering
Data & Knowledge Engineering
Ontologies for geographic information processing
Computers & Geosciences - Intelligent methods for processing geodata
Formal agent-oriented modeling with UML and graph transformation
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
PRIMA-UML: a performance validation incremental methodology on early UML diagrams
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
On the intrinsic value of informationobjects and the infosphere
Ethics and Information Technology
Autonomous Agents and Multi-Agent Systems
Expressing opposition in the object model, first step towards negation
ACM SIGPLAN Notices
Building a Database Design Laboratory on the Internet
IEEE Internet Computing
Object-Based Modeling of Parallel Programs
IEEE Parallel & Distributed Technology: Systems & Technology
Developing GEMS: an Environmental Modeling System
IEEE Computational Science & Engineering
Computer
Testing and Diagnosing Managed Networks
IEEE Design & Test
Formalizing Specification Modeling in OOA
IEEE Software
Object-Oriented Design of Telecommunication Software
IEEE Software
Coordinated Approach to Telecommunications Management
IEEE Software
OO Systems Analysis: Is It or Isn't It?
IEEE Software
Object-Oriented Development of Large Applications
IEEE Software
Architectural Styles, Design Patterns, and Objects
IEEE Software
Systematic Integration of Design Methods
IEEE Software
Developing Software Using OVID
IEEE Software
Automated Support for Modeling OO Software
IEEE Software
Real-Life Object-Oriented Systems
IEEE Software
IEEE Software
Streamlined Design Approach Lands Mars Pathfinder
IEEE Software
IEEE Software
A Model for Evaluation and Administration of Security in Object-Oriented Databases
IEEE Transactions on Knowledge and Data Engineering
Authorization and Revocation in Object-Oriented Databases
IEEE Transactions on Knowledge and Data Engineering
Part-Whole Relationship Categories and Their Application in Object-Oriented Analysis
IEEE Transactions on Knowledge and Data Engineering
Materialization and Its Metaclass Implementation
IEEE Transactions on Knowledge and Data Engineering
An Authoring System for Intelligent Procedural-Skill Tutors
IEEE Intelligent Systems
IEEE Transactions on Software Engineering
Experience with an Approach to Comparing Software Design Methodologies
IEEE Transactions on Software Engineering
Reusing Software: Issues and Research Directions
IEEE Transactions on Software Engineering
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
Chidamber and Kemerer's Metrics Suite: A Measurement Theory Perspective
IEEE Transactions on Software Engineering
The Model Multiplicity Problem: Experimenting with Real-Time Specification Methods
IEEE Transactions on Software Engineering
An Empirical Investigation of an Object-Oriented Software System
IEEE Transactions on Software Engineering
POEMS: End-to-End Performance Design of Large Parallel Adaptive Computational Systems
IEEE Transactions on Software Engineering
A Method for Design and Performance Modeling of Client/Server Systems
IEEE Transactions on Software Engineering
Investigating Reading Techniques for Object-Oriented Framework Learning
IEEE Transactions on Software Engineering
On Object Systems and Behavioral Inheritance
IEEE Transactions on Software Engineering
Hybridizing a Genetic Algorithm with Rule-Based Reasoning for Production Planning
IEEE Expert: Intelligent Systems and Their Applications
Object-oriented modeling with ADORA
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
A formal approach to object-oriented software engineering
Theoretical Computer Science - Rewriting logic and its applications
Extending the standard template library with association classes
C/C++ Users Journal - Graphics
Using UML to specify QoS constraints in ODP
Computer Networks: The International Journal of Computer and Telecommunications Networking
Formalizing and integrating the dynamic model for object-oriented modeling
IEEE Transactions on Software Engineering
Graphical notations for active rules in UML and UML-A
ACM SIGSOFT Software Engineering Notes
A brief history of the object-oriented approach
ACM SIGSOFT Software Engineering Notes
Using object-oriented methods in a system lifecycle process model
ACM SIGSOFT Software Engineering Notes
A QoS management framework for distributed multimedia systems
International Journal of Network Management
Semantic Abstractions in the Multimedia Domain
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Software Engineering
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
The Ragnarok software development environment
Nordic Journal of Computing
Animation and presentation tools for object-oriented design
Nordic Journal of Computing
Architecture of a distributed real-time system to control large high-energy physics experiments
Parallel and distributed real-time systems
Exceptions in object modeling: finding exceptions from the elements of the static object model
Advances in exception handling techniques
A Database Perspective on Building Large Applications - Experience Report
EDBT '00 Proceedings of the 7th International Conference on Extending Database Technology: Advances in Database Technology
Developing and Applying Component-Based Model-Driven Architectures in KobrA
EDOC '01 Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing
Mobility Support: A Mutil-Domain Bridging Matter
EDOC '97 Proceedings of the 1st International Conference on Enterprise Distributed Object Computing
Creating a distributed factory object architecture
EDOC '97 Proceedings of the 1st International Conference on Enterprise Distributed Object Computing
EDOC '97 Proceedings of the 1st International Conference on Enterprise Distributed Object Computing
Enterprise Modelling with FUNSOFT Nets
EDOC '97 Proceedings of the 1st International Conference on Enterprise Distributed Object Computing
A Code Generation Strategy for CORBA-Based Internet Applications
EDOC '97 Proceedings of the 1st International Conference on Enterprise Distributed Object Computing
EDOC '01 Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing
DSOM '99 Proceedings of the 10th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management: Active Technologies for Network and Service Management
Software as Learning: Quality Factors and Life-Cycle Revised
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 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
From Play-In Scenarios to Code: An Achievable Dream
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
The Role of Design Components in Test Plan Generation
GCSE '01 Proceedings of the Third International Conference on Generative and Component-Based Software Engineering
Data-Flow Oriented Visual Programming Libraries for Scientific Computing
ICCS '02 Proceedings of the International Conference on Computational Science-Part I
Extending the Modeling Efficiency of the UML Activity Diagram for the Design of Distributed Systems
IICS '02 Proceedings of the Second International Workshop on Innovative Internet Computing Systems
Extraction of Function-Points from Source-Code
IWSM '00 Proceedings of the 10th International Workshop on New Approaches in Software Measurement
Developing Pattern-Based Management Programs
MMNS '01 Proceedings of the 4th IFIP/IEEE International Conference on Management of Multimedia Networks and Services: Management of Multimedia on the Internet
OOIS '00 Proceedings of the 6th International Conference on Object Oriented Information Systems
Associative Modeling and Programming
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
Generation of Object Models for Information Systems from Business System Models
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
Promoting Reuse through the Capture of System Description
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
Using the Model Paradigm for Real-Time Systems Development: ACCORD/UML
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
Specialization/Generalization in Object-Oriented Analysis: Strengthening and Multiple Partitioning
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
On the Automatization of Database Conceptual Modelling through Linguistic Engineering
NLDB '00 Proceedings of the 5th International Conference on Applications of Natural Language to Information Systems-Revised Papers
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
Systematic Integration of Variability into Product Line Architecture Design
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
Providing Dynamic Security Control in a Federated Database
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Materialization: A Powerful and Ubiquitous Abstraction Pattern
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
A Product Specification Database for Visual Prototyping
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Supporting State-Wide Immunisation Tracking Using Multi-Paradigm Workflow Technology
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
Model-Based Architecture for the Intranet
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Patterns in the analysis, design and implementation of frameworks
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Enhancing extensibility of the design rule checker of an EDA tool by object-oriented modeling
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Management of Object Oriented Development based on Ranked Use Cases
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Designing Fuzzy Relations in Orthogonal Persistence Object-Oriented Database Engines
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
COMPSAC '00 24th International Computer Software and Applications Conference
A Component-Based Visual Scenario Construction Language for Electronic Book
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
Task.o object modeling approach for robot workcell programming
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Towards a formalization of UML class structures in Z
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
A temporal behavioral object model for object-oriented databases
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
A Parallelizing Compiler by Object Oriented Design
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
ADVIS '00 Proceedings of the First International Conference on Advances in Information Systems
Classification Abstraction: An Intrinsic Element in Database Systems
ADVIS '00 Proceedings of the First International Conference on Advances in Information Systems
Preserving Aggregation in an Object-Relational DBMS
ADVIS '02 Proceedings of the Second International Conference on Advances in Information Systems
ObjChart: Tangible Specification of Reactive Object Behavior
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Design Patterns: Abstraction and Reuse of Object-Oriented Design
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Interface-Based Protocol Specification of Open Systems using PSL
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
An Object-Oriented Framework for the Formal Verification of Processors
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Automated Test Case Generation from Dynamic Models
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
UML-F: A Modeling Language for Object-Oriented Frameworks
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
A Multi-variant Approach to Software Process Modelling
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Method Enhancement with Scenario Based Techniques
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Increasing Reusability in Information Systems Development by Applying Generic Methods
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
The ADORA Approach to Object-Oriented Modeling of Software
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
Understanding Redundancy in UML Models for Object-Oriented Analysis
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Role of Model Transformation in Method Engineering
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Evolving Objects: Conceptual Description of Adaptive Information Systems
FoMLaDO/DEMM 2000 Selected papers from the 9th International Workshop on Foundations of Models and Languages for Data and Objects, Database Schema Evolution and Meta-Modeling
BIKMAS: A Knowledge Engineering System for Bioinformatics
IDEAL '02 Proceedings of the Third International Conference on Intelligent Data Engineering and Automated Learning
A CORBA-Based Performance Management Framework for Multi-layer Network Environment
ICOIN '02 Revised Papers from the International Conference on Information Networking, Wireless Communications Technologies and Network Applications-Part I
FOOM and OPM Methodologies - Experimental Comparison of User Comprehension
NGITS '02 Proceedings of the 5th International Workshop on Next Generation Information Technologies and Systems
A Conceptual "Role-Centered" Model for Design of Multi-Agents Systems
PRIMA '98 Selected papers from the First Pacific Rim International Workshop on Multi-Agents, Multiagent Platforms
Autonomous Cooperative Factory Control
PRIMA '00 Proceedings of the Third Pacific Rim International Workshop on Multi-Agents: Design and Applications of Intelligent Agents
SSDBM '96 Proceedings of the Eighth International Conference on Scientific and Statistical Database Management
Software Development Reengineering - An Experience Report
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
A Description-Processing System for Soccer Agents and NIT Stones 98
RoboCup-98: Robot Soccer World Cup II
Object-Oriented Design of Graph Oriented Data Structures
ALENEX '99 Selected papers from the International Workshop on Algorithm Engineering and Experimentation
Design Tools for Application Specific Embedded Processors
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
Towards a Precise Semantics for Object-Oriented Modeling Techniques
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Formal Definition and Refinement of UML's Module/Package Concept
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop)
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Extracting State Diagrams from Legacy Systems
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Towards a Dedicated Object-Oriented Software Process Modeling Language
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Difficulties with Mapping OMT Specifications into GDMO
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Objects in Different Execution Environments
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Automating Object-Oriented Software Development Methods
ECOOP '01 Proceedings of the Workshops on Object-Oriented Technology
Liberating Object-Oriented Modeling from Programming-Level Abstractions
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Applying Fuzzy Logic Techniques in Object-Oriented Software Development
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
OST - An Object-Oriented Computer Networks System Specification Tool
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
OOD Frameworks in Component-Based Software - Development in Computational Logic
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Reflective Media Space Management Using RASCAL
Reflection '99 Proceedings of the Second International Conference on Meta-Level Architectures and Reflection
Software Testing & Diagnostics: Theory & Practice
SOFSEM '00 Proceedings of the 27th Conference on Current Trends in Theory and Practice of Informatics
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
Development and Evolution of Web-Applications Using the WebComposition Process Model
Web Engineering, Software Engineering and Web Application Development
iState: A Statechart Translator
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
The Message Paradigm in Object-Oriented Analysis
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Implementing Reversed Alternating Finite Automaton (r-AFA) Operations
WIA '98 Revised Papers from the Third International Workshop on Automata Implementation
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)
A Formal Mapping between UML Models and Object-Z Specifications
ZB '00 Proceedings of the First 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
The Construction Principles of the Class Library KARLA
Selected Papers from the International Seminar on Generic Programming
Object Oriented Safety Analysis of an Extra High Voltage Substation Bay
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
The M*-COMPLEX Approach to Enterprise Modeling, Engineering, and Integration
ER '00 Proceedings of the Workshops on Conceptual Modeling Approaches for E-Business and The World Wide Web and Conceptual Modeling: Conceptual Modeling for E-Business and the Web
Perspectives in Modeling: Simulation, Database, and Workflow
Selected Papers from the Symposium on Conceptual Modeling, Current Issues and Future Directions
Conceptual Design of Parallel Systems
Selected Papers from the Symposium on Conceptual Modeling, Current Issues and Future Directions
From CASE to CARE (Computer-Aided Requirements Engineering)
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Entity Evolution in ISA Hierarchies
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Three Levels of Reuse for Supporting the Evolution in Object Databases
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Towards Ontologically Based Semantics for UML Constructs
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Relationship Type Refinement in Conceptual Models with Multiple Classification
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
A Formal Model of Object-Oriented Design and GoF Design Patterns
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
A Systematic Approach to Transform OMT Diagrams to a B Specification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
A Performance Engineering Case Study: Software Retrieval System
Performance Engineering, State of the Art and Current Trends
Petri Nets as Token Objects: An Introduction to Elementary Object Nets
ICATPN '98 Proceedings of the 19th 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
Equivalence Problem of Composite Class Diagrams
FCT '01 Proceedings of the 13th International Symposium on Fundamentals of Computation Theory
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
Combining Graphical and Formal Development of Open Distributed Systems
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Contributions for Modelling UML State-Charts in B
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
A Practical Perspective on TMN Evolution
IS&N '99 Proceedings of the 6th International Conference on Intelligence and Services in Networks: Paving the Way for an Open Service Market
On the Definition of a Framework for an Architecting Process Supporting Product Family Development
PFE '01 Revised Papers from the 4th International Workshop on Software Product-Family Engineering
An Integrated Data Model and a Query Language for Content-Based Retrieval of Video
MIS '98 Proceedings of the 4th International Workshop on Advances in Multimedia Information Systems
Expressing UML Class Diagrams Properties with OCL
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Architecting for Domain Variability
Proceedings of the Second International ESPRIT ARES Workshop on Development and Evolution of Software Architectures for Product Families
A Survey of Agent-Oriented Methodologies
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
On Data Warehouse and GIS Integration
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
An Indexing Structure for Aggregation Relationship in OODB
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
TREAT: A Reverse Engineering Method and Tool for Environmental Databases
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
CoSMo: An Approach Towards Conceptual Security Modeling
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
Formal Specification of Object-Oriented Meta-modelling
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
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
Conceptual Predesign - Bridging the Gap between Requirements and Conceptual Design
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Using Terminology Extraction to Improve Traceability from Formal Models to Textual Requirements
NLDB '00 Proceedings of the 5th International Conference on Applications of Natural Language to Information Systems-Revised Papers
"Real World" as an Argument for Covariant Specialization in Programming and Modeling
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
Relationship Reification: A Temporal View
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Verification of Hierarchical State/Event Systems Using Reusability and Compositionality
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Semantics of the Minimum Multiplicity in Ternary Associations in UML
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Towards an Automatic Integration of Statecharts
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Models for cooperative activities over the web
Web-enabled systems integration
An object pattern for computer user interface systems
Information processing and technology
Object-oriented programming and software development: a critical assessment
Programming methodology
Object models as heap invariants
Programming methodology
Ateleological development of "design-decisions-independent" information systems
Adaptive evolutionary information systems
Use cases for distributed real-time software architectures
Engineering of distributed control systems
Aspect-oriented interaction in multi-organisational web-based systems
Computer Networks: The International Journal of Computer and Telecommunications Networking
An enhanced role model for alleviating the role-binding anomaly
Software—Practice & Experience
Using hypermedia in requirements engineering practice
The New Review of Hypermedia and Multimedia
A hierarchical modeling framework for on-chip communication architectures
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
Proceedings of the 25th International Conference on Software Engineering
Preserving relationship cardinality constraints in relational schemata
Database integrity
Integrity constraints in spatial databases
Database integrity
Using business rules within a design process of active databases
Data warehousing and web engineering
Supporting iterations in exploratory database reengineering processes
Science of Computer Programming - Software maintenance and reengineering (CSMR 99)
A component based software reliability model
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
An object state test model: object state diagram
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Behavioral patterns for software requirement engineering
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Towards a real-time object-oriented modeling approach
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
A model independent source code repository
CASCON '99 Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
Paradigm shift in software re-engineering: an experience report
CASCON '96 Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research
Principles in formal specification of object oriented design and architecture
CASCON '01 Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research
A theory model core for module interconnection languages
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
An object oriented testing and maintenance environment
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
A response oriented paradigm for software engineering
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Design and implementation of a string database query language
Information Systems - Special issue: Data management in bioinformatics
COMO: A UML-Based Component Development Methodology
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Improving Object Oriented Analysis by Explicit Change Analysis
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Enhancing the Object Constraint Language for More Expressive Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Interactive Layout Method for Object Diagrams of OMT
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Experience with Porting a Unix Version CASE Tool to the Corresponding Java Version
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Executable C++ Program Generation from the Structured Object-Oriented Design Diagrams
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
A Formal Basis for Object-Oriented Patterns
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Reusing Use Case Descriptions for Requirements Specification: Towards Use Case Patterns
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Location-Based Taxi Service in Wireless Communication Environment
ANSS '03 Proceedings of the 36th annual symposium on Simulation
A Vector Based Software Size Measure
ASWEC '97 Proceedings of the Australian Software Engineering Conference
CA '96 Proceedings of the Computer Animation
Integrating clinical and managerial activities of health care units
CBMS '97 Proceedings of the 10th IEEE Symposium on Computer-Based Medical Systems (CBMS '97)
Prototyping network architectures on a supercomputer
HPDC '96 Proceedings of the 5th IEEE International Symposium on High Performance Distributed Computing
Evaluating the Impact of Object-Oriented Design on Software Quality
METRICS '96 Proceedings of the 3rd International Symposium on Software Metrics: From Measurement to Empirical Results
Inheritance Graph Assessment Using Metrics
METRICS '96 Proceedings of the 3rd International Symposium on Software Metrics: From Measurement to Empirical Results
Meta-Data Modeling for Quality of Service (QoS) Management in the World Wide Web (WWW)
MMM '98 Proceedings of the 1998 Conference on MultiMedia Modeling
Scientific data management in the Environmental Molecular Sciences Laboratory
MSS '95 Proceedings of the 14th IEEE Symposium on Mass Storage Systems
Object oriented prototyping at the system level: an image reconstruction application example
RSP '96 Proceedings of the 7th IEEE International Workshop on Rapid System Prototyping (RSP '96)
HW/SW specification using OOM techniques
RSP '96 Proceedings of the 7th IEEE International Workshop on Rapid System Prototyping (RSP '96)
FrameKit and the prototyping of CASE environments
RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
Object-oriented design of main-memory DBMS for real-time applications
RTCSA '95 Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications
Software Thesaurus: A Tool for Reusing Software Objects
SAST '96 Proceedings of the Proceedings of the Fourth International Symposium on Assessment of Software Tools (SAST '96)
Object-oriented modeling in Metaview
SAST '96 Proceedings of the Proceedings of the Fourth International Symposium on Assessment of Software Tools (SAST '96)
A characterization of OOA tools
SAST '96 Proceedings of the Proceedings of the Fourth International Symposium on Assessment of Software Tools (SAST '96)
Requirements for OO design environments
SEE '95 Proceedings of the 1995 Software Engineering Environment Conferences
SEE '95 Proceedings of the 1995 Software Engineering Environment Conferences
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
An environment for cooperative construction of natural-language requirement bases
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
An environment for object-oriented real-time systems design
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
A Software Engineering Subject on System Description Techniques
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Under Pressure -- Recommendations for Managing a Practical Course in Software Engineering
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
An Ongoing OO Software Engineering Measurement Experiment
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
A Step by Step Method for Conceptual Data Analysis
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
A General Object Model for the Management of Distributed Applications
SMW '96 Proceedings of the 2nd IEEE International Workshop on Systems Management (SMW'96)
Representation of simulation model components for model generation and a model library
SS '96 Proceedings of the 29th Annual Simulation Symposium (SS '96)
Towards an Abstract Language for Dynamic Modeling in Object-Oriented Design
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
From Specification to Management of Composite Object Behavior
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
A Visual Programming Interface for Smalltalk
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Java Implementations of User-Interface Frameworks
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
ROAD/EE: A Prototyping Environment for Object-Oriented Specifications
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Applying Object-Oriented Technology to Embedded Software
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Verification and Validation Techniques of Object-Oriented Software Systems
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Contracts: From Analysis to C++ Implementation
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Automatic Detection of Design Problems in Object-Oriented Reengineering
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Managing the Software Development by Using the Recursive Multi- Threaded (RMT) Tool
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
On the Behavioral Inheritance of State-Based Objects
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Real-time software development system RTiplus
TRON '95 Proceedings of the The 12th TRON Project International Symposium, 1995
Extracting object-oriented specification from procedurally oriented programs
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
DECODE: a cooperative environment for reverse-engineering legacy software
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Formal representation of reuseable software modules
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Observed idiosyncracies of relational database designs
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Model-based Design of Tools for Business Understanding and Re-engineering
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Design of a generic reverse engineering assistant tool
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Experiences in applying formal methods to the analysis of software and system requirements
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Reasoning with UML Class Diagrams
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
A Discussion About Integrated Techniques
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Sequence Specification for Concurrent Object-Oriented Applications
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Object-Oriented Real Time Systems Modeling and Verification
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Process-Oriented Development of Embedded Systems: Modeling Behavior and Dependability
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Object-Oriented Behaviour Modelling or Real-Time Design
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Reactive transport in surface sediments I. Mexity and software quality
Computers & Geosciences - Special issue: Reactive transport modeling in the geosciences
Life-cycle inheritance in concurrent object-oriented systems
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
A pragmatic, rigorous integration of structural and behavioral modeling notations
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Hybrid object-oriented real-time software development with VDM/sup ++/
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
A Methodological Approach to the Requirement Specification of Embedded Systems
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Generic Engineering of Communication Protocols - Current Experience and Future Issues
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
A New Class Generation Mechanism by Method Integration
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Reusing a Distributed Object Domain Framework
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Scenario-Based Software Architecture Reengineering
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Re-Engineering of the Internet Stream Protocol ST2+ with Formalized Design Patterns
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Quality of Electronic Design: From Architectural Level to Test Coverage
ISQED '00 Proceedings of the 1st International Symposium on Quality of Electronic Design
Object state testing and fault analysis for reliable software systems
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
An Architectural Model For Software Reliability Quantification
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
A pattern language for porting micro-kernels
IWOOOS '96 Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS '96)
Problems and Deficiencies of UML as a Requirements Specification Language
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Object-Oriented Modeling and Automated Analysis of a Telemedicine Application
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
A "Coming and Going" Approach to Specification Construction: A Scenario
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Enhancing Design Methods to Support Real Design Processes
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Methodological Support for Requirements Elicitation and Formal Specification
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
An empirical investigation of an object-oriented design heuristic for maintainability
Journal of Systems and Software
An application of the reference model for open distributed processing to electronic brokerage
Computer Standards & Interfaces - CORBA: protocols, applications, process models and standards
A Software Process Management System Considering Workers Workload
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
An Object-Oriented Real Time Systems Modeling and Verification Methodology
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Use Case Driven Structured Analysis
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
A Component-Based Software Development Model
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Applying Conventional Testing Techniques for Class Testing
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Modeling Active Object-Oriented Database Applications using Multi-Level Diagrams
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
KnowledgeScope: managing knowledge in context
Decision Support Systems
Component-based workflow systems development
Decision Support Systems
Specification of video-on-demand service using object oriented technique
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Object-oriented modelling of communication protocols for re-use
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Template for a system design file using OODPM version 5.0
ACM SIGSOFT Software Engineering Notes
Specifying telecommunications systems with UML
UML for real
A multiview approach to modeling and analysis of discrete event systems
Systems Analysis Modelling Simulation
An Investigation of Graph-Based Class Integration Test Order Strategies
IEEE Transactions on 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)
Developing SPMD applications with load balancing
Parallel Computing
An Approach for Modeling and Analysis of Security System Architectures
IEEE Transactions on Knowledge and Data Engineering
Design patterns: abstraction and reuse of object-oriented design
Software pioneers
VISAGE: an object-oriented scientific visualization system
VIS '92 Proceedings of the 3rd conference on Visualization '92
OODM: an object-oriented design methodology for development of web applications
Information modeling for internet applications
Dealing with relationship cardinality constraints in relational database design
Effective databases for text & document management
OOHDM-Web: an environment for implementation of hypermedia applications in the WWW
ACM SIGWEB Newsletter
An active hypertext model for system requirements
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Specification of business components using temporal OCL
UML and the unified process
Formalizing UML class diagrams
UML and the unified process
Transforming UML class diagrams into relational data models
UML and the unified process
Configuration knowledge representations for Semantic Web applications
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
SAICSIT '03 Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
Integrating patterns into CASE tools
Practicing software engineering in the 21st century
The application of FOOM methodology to IFIP conference case study
Practicing software engineering in the 21st century
FOOM-functional and object-oriented methodology for analysis and design of information systems
Advanced topics in database research vol. 1
Object-process methodology applied to modeling credit card transactions
Advanced topics in database research vol. 1
Modeling of business rules for active database application specification
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
Capturing collaborative designs to assist the pedagogical process
Proceedings of the 8th annual conference on Innovation and technology in computer science education
Multicolour programming and metamorphic programming: object oriented programming-in-the-large
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Integration of CASE into undergraduate education
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Simulation in business administration and management
Applied system simulation
Component-based software development for integrated construction management software applications
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
On using collection for aggregation and association relationships in XML object-relational storage
Proceedings of the 2004 ACM symposium on Applied computing
Improving graphical information system model use with elision and connecting lines
ACM Transactions on Computer-Human Interaction (TOCHI)
Natural Language Engineering
Building large-scale Bayesian networks
The Knowledge Engineering Review
Load balancing in SPMD applications: concepts and experiments
High performance scientific and engineering computing
On the road to behavior-based integration
APCCM '04 Proceedings of the first Asian-Pacific conference on Conceptual modelling - Volume 31
Context-aware Web Information Systems
APCCM '04 Proceedings of the first Asian-Pacific conference on Conceptual modelling - Volume 31
An object-oriented approach to the design of dialogue management functionality
EACL '99 Proceedings of the ninth conference on European chapter of the Association for Computational Linguistics
Executable/Translatable UML in computing education
ACE '04 Proceedings of the Sixth Australasian Conference on Computing Education - Volume 30
A knowledge management scheme for meta-data: an information structure graph
Decision Support Systems - Special issue: Knowledge management technique
Action-oriented conceptual modelling
European Journal of Information Systems
Embedding role-based access control model in object-oriented systems to protect privacy
Journal of Systems and Software
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
Resource space model, its design method and applications
Journal of Systems and Software
Box-structured methods for systems development with objects
IBM Systems Journal
The impact of object-orientation on application development
IBM Systems Journal
The IBM application framework for e-business
IBM Systems Journal
A real-time synchronization mechanism for collaborative model management
Decision Support Systems
Real-time system modeling with ACCORD/UML methodology: illustration through an automotive case study
Languages for system specification
Object-oriented programming in FEM and BEM: a bibliography (1990-2003)
Advances in Engineering Software
Computational Modeling and Analysis of Knowledge Sharing in Collaborative Distance Learning
User Modeling and User-Adapted Interaction
JART: Grammar-Based Approach to Refactoring
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Recovering binary class relationships: putting icing on the UML cake
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
MAC and UML for secure software design
Proceedings of the 2004 ACM workshop on Formal methods in security engineering
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
Automatic generation of domain representations using thesaurus structures
Journal of the American Society for Information Science and Technology
Improving Cohesion Metrics for Classes by Considering Dependent Instance Variables
IEEE Transactions on Software Engineering
OPM vs. UML—Experimenting with Comprehension and Construction of Web Application Models
Empirical Software Engineering
Advanced query language for manipulating complex entities
Information Processing and Management: an International Journal
Fuzzy resource space model and platform
Journal of Systems and Software
Providing flexible access control to an information flow control model
Journal of Systems and Software
Generating domain representations using a relationship model
Information Systems
Integrating formalism into undergraduate software engineering
Journal of Systems and Software - Special issue: The new context for software engineering education and training
We've been working on the railroad: a laboratory for real-time embedded systems
Proceedings of the 36th SIGCSE technical symposium on Computer science education
Class Point: An Approach for the Size Estimation of Object-Oriented Systems
IEEE Transactions on Software Engineering
UML 2.0 - Overview and Perspectives in SoC Design
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Expert systems development: some issues of design process
ACM SIGSOFT Software Engineering Notes
A semantic and methodological essence of message sequence charts
Science of Computer Programming
Development of a design system for EPS cushioning package of a monitor using axiomatic design
Advances in Engineering Software
Ontological modeling for software application development
Advances in Engineering Software
Proceedings of the 2005 ACM symposium on Applied computing
Using Dialogue Features to Predict Trouble During Collaborative Learning
User Modeling and User-Adapted Interaction
Literature review of spatio-temporal database models
The Knowledge Engineering Review
SODA '05 Proceedings of the sixteenth annual ACM-SIAM symposium on Discrete algorithms
Object-oriented analysis and design (OOAD)
Encyclopedia of Computer Science
Object-oriented programming (OOP)
Encyclopedia of Computer Science
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
Relational analysis of algebraic datatypes
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Using guidelines to assist in the visualisation design process
APVis '05 proceedings of the 2005 Asia-Pacific symposium on Information visualisation - Volume 45
PSE: An Object-Oriented Representation for Modeling and Managing Part-of Relationships
Journal of Intelligent Information Systems
The application of module in Logistics Management Information System (LSMIS)
ICEC '05 Proceedings of the 7th international conference on Electronic commerce
Abstract hierarchical graph transformation
Mathematical Structures in Computer Science
ArchMatE: from architectural styles to object-oriented models through exploratory tool support
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
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
In-process object-oriented database design for .NET
Proceedings of the 6th conference on Information technology education
A MDA-based approach for real time embedded systems simulation
DS-RT '05 Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications
Automated Prototyping of User Interfaces Based on UML Scenarios
Automated Software Engineering
A methodology for creating a virtual model for a flexible manufacturing system
Computers in Industry
CLIHC '05 Proceedings of the 2005 Latin American conference on Human-computer interaction
Advancing Candidate Link Generation for Requirements Tracing: The Study of Methods
IEEE Transactions on Software Engineering
Refactoring digital hardware designs with assertion libraries
HLDVT '03 Proceedings of the Eighth IEEE International Workshop on High-Level Design Validation and Test Workshop
Systematic Transformation of Functional Analysis Model into OO Design and Implementation
IEEE Transactions on Software Engineering
Modelling hypermedia and web applications: the Ariadne development method
Information Systems
Proceedings of the 5th international conference on Aspect-oriented software development
Using patterns for the refinement and translationof UML models: A controlled experiment
Empirical Software Engineering
An entity-relationship design system for graphical software development
ACM-SE 33 Proceedings of the 33rd annual on Southeast regional conference
Concurrent engineering of an object-oriented particle-in-cell simulations environment for physicists
ACM-SE 33 Proceedings of the 33rd annual on Southeast regional conference
A process and a tool to map communication components of data flows to objects
ACM-SE 33 Proceedings of the 33rd annual on Southeast regional conference
Communications of the ACM - Two decades of the language-action perspective
Physical map assembler: an active object-oriented database for human genome applications
SSDBM'1994 Proceedings of the 7th international conference on Scientific and Statistical Database Management
Reasoning on UML class diagrams
Artificial Intelligence
Toward effective deployment of design patterns for software extension: a case study
Proceedings of the 2006 international workshop on Software quality
Modular hierarchies of models for embedded systems
Formal methods and models for system design
Automatically testing interacting software components
Proceedings of the 2006 international workshop on Automation of software test
Checking BART test scenarios with UML's object constraint language
Formal methods for embedded distributed systems
Architectural concepts and design patterns for behavior modeling and integration
Mathematics and Computers in Simulation - Special issue: Computational engineering in systems applications (CESA 2003)
Replaying development history to assess the effectiveness of change propagation tools
Empirical Software Engineering
A PN-based approach to the high-level synthesis of digital systems
Integration, the VLSI Journal
Road network monitoring: algorithms and a case study
Computers and Operations Research
UML 2: a model-driven development tool
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
Exploring the difficulties of learning object-oriented techniques
Journal of Management Information Systems - Special section: Strategic and competitive information systems
Cognitive fit in requirements modeling: a study of object and process methodologies
Journal of Management Information Systems - Special section: Strategic and competitive information systems
Toward formalized object-oriented management information systems analysis
Journal of Management Information Systems
Requirements validation via automated natural language parsing
Journal of Management Information Systems - Special section: Information technology and its organizational impact
Viewing business-process security from different perspectives
International Journal of Electronic Commerce - Special issue: Developing the business components of the digital economy
PrIMe: a software engineering methodology for developing provenance-aware applications
Proceedings of the 6th international workshop on Software engineering and middleware
On-Chip Communication Architectures: System on Chip Interconnect
On-Chip Communication Architectures: System on Chip Interconnect
Moving architectural description from under the technology lamppost
Information and Software Technology
Noesis: Towards a situational method engineering technique
Information Systems
An object-oriented development method for Customer Knowledge Management Information Systems
Knowledge-Based Systems
Coupling Object-Oriented and Workflow Modelling in Business and Information Process Reengineering
Information-Knowledge-Systems Management
The double role of ontologies in information science research: Research Articles
Journal of the American Society for Information Science and Technology
Estimating software complexity from UML models
ACM SIGSOFT Software Engineering Notes
Statecharts in the making: a personal account
Proceedings of the third ACM SIGPLAN conference on History of programming languages
How to Express C++ Concepts in Fortran90
Scientific Programming
Modelling Engineering Design Processes With Role Activity Diagrams
Journal of Integrated Design & Process Science
Integrated Functional D Executional Modeling Of Software Using Web-Based Databases
Journal of Integrated Design & Process Science
Review: Integrated decision support system (DSS) for manure management: A review and perspective
Computers and Electronics in Agriculture
Automatic Synthesis Of Behavioral Object Specifications From Scenarios
Journal of Integrated Design & Process Science
Ownership as a conceptual modeling construct
Data & Knowledge Engineering
On the Semantics of Associations and Association Ends in UML
IEEE Transactions on Software Engineering
The Tycho user interface system
TCLTK'97 Proceedings of the 5th conference on Annual Tcl/Tk Workshop 1997 - Volume 5
Using the strategy design pattern to compose reliable distributed protocols
COOTS'97 Proceedings of the 3rd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 3
Building independent black box components in C++
COOTS'96 Proceedings of the 2nd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 2
Software composition with extended entity-relationship diagrams
COOTS'96 Proceedings of the 2nd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 2
A framework for higher-order functions in C++
COOTS'95 Proceedings of the USENIX Conference on Object-Oriented Technologies on USENIX Conference on Object-Oriented Technologies (COOTS)
Interpreted C++, object oriented Tcl, what next?
TCLTK '98 Proceedings of the 3rd Annual USENIX Workshop on Tcl/Tk - Volume 3
hpGEM---A software framework for discontinuous Galerkin finite element methods
ACM Transactions on Mathematical Software (TOMS)
An object-oriented approach to formally analyze the UML 2.0 activity partitions
Information and Software Technology
Integrating Knowledge, Data and Geometry: A Computer-Aided Concurrent Engineering Infrastructure
Integrated Computer-Aided Engineering
Towards Software Component Procurement Automation with Latent Semantic Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Information Services and Use
Relational concept discovery in structured datasets
Annals of Mathematics and Artificial Intelligence
A Dynamic Framework for Classifying Information Systems Development Methodologies and Approaches
Journal of Management Information Systems
Critical Factors for Assimilation of Object-Oriented Programming Languages
Journal of Management Information Systems
An Approach to Distribution of Object-Oriented Applications in Loosely Coupled Networks
Journal of Management Information Systems
Journal of Management Information Systems
UML based embedded documentation for semi-automatic software development
ACM SIGSOFT Software Engineering Notes
Process-centered review of object oriented software development methodologies
ACM Computing Surveys (CSUR)
Micro and macro workflow variability design techniques of component
Information and Software Technology
Object-oriented technologies for automated manufacturing systems development
International Journal of Computer Applications in Technology
International Journal of Computer Applications in Technology
The materials selection process as a part of the solution base for engineering design problems
International Journal of Computer Applications in Technology
A flexible information management system for supporting manufacturing activities
International Journal of Computer Applications in Technology
From digital libraries to electronic catalogues for engineering and manufacturing
International Journal of Computer Applications in Technology
Embedded agents: a paradigm for mobile services
International Journal of Web and Grid Services
An empirical study of software developers' management of dependencies and changes
Proceedings of the 30th international conference on Software engineering
Designing for geometrical symmetry exploitation
Scientific Programming - Parallel/High-Performance Object-Oriented Scientific Computing (POOSC '05), Glasgow, UK, 25 July 2005
A framework supporting the utilization of domain knowledge embedded in software
ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
Resource space model, OWL and database: Mapping and integration
ACM Transactions on Internet Technology (TOIT)
Journal of Experimental & Theoretical Artificial Intelligence
International Journal of Computer Integrated Manufacturing
A survey and evaluation of tool features for understanding reverse-engineered sequence diagrams
Journal of Software Maintenance and Evolution: Research and Practice - Special Issue on Program Comprehension through Dynamic Analysis (PCODA)
Some observations on staff estimation metrics for object: oriented software engineering
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
Development of a tool for code automatic generation of persistent objects
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
Avoiding semantic and temporal gaps in developing software intensive systems
Journal of Systems and Software
A conceptual model for negotiating in service-oriented environments
Information Processing Letters
ActiveRDF: Embedding Semantic Web data into object-oriented languages
Web Semantics: Science, Services and Agents on the World Wide Web
International Journal of Computer Integrated Manufacturing
Design of a manufacturing knowledge model
International Journal of Computer Integrated Manufacturing
Enterprise Information Systems - Contains Special Issue: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, edited by Juan Carlos Augusto and Marc Roper
Cognitive activities and levels of abstraction in procedural and object-oriented design
Human-Computer Interaction
Object-oriented analysis and design in software project teams
Human-Computer Interaction
Object-oriented system development in a banking project: methodology, experience, and conclusions
Human-Computer Interaction
Beyond object-oriented technology: where current approaches fall short
Human-Computer Interaction
Cognitive support: extending human knowledge and processing capacities
Human-Computer Interaction
Coherence: an approach to representing ethnographic analyses in systems design
Human-Computer Interaction
The untrained eye: how languages for software specification support understanding in untrained users
Human-Computer Interaction
Conceptual modelling tool for novice designers
International Journal of Metadata, Semantics and Ontologies
A Meta-model Approach to the Management of Hypertexts in Web Information Systems
ER '08 Proceedings of the ER 2008 Workshops (CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM) on Advances in Conceptual Modeling: Challenges and Opportunities
Reducing Ambiguities in Requirements Specifications Via Automatically Created Object-Oriented Models
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Reconciling statechart semantics
Science of Computer Programming
Specifying behavioral semantics of UML diagrams through graph transformations
Journal of Systems and Software
An object-oriented framework for virtual intelligent product manuals
International Journal of Systems Science - Innovative Production Machines and Systems, Guest Editors: Duc-Truong Pham, Anthony Soroka and Eldaw Eldukhri
Specification and Verification of Invariants by Exploiting Layers in OO Designs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Programming robots with state diagrams
Journal of Computing Sciences in Colleges
Conceptual simulation modeling: the structure of domain specific simulation environment
Proceedings of the 40th Conference on Winter Simulation
A Comparison of Metric-Based and Empirical Approaches for Cognitive Analysis of Modeling Languages
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Concern-oriented business architecture engineering
Proceedings of the 2009 ACM symposium on Applied Computing
Model-Driven Engineering Meets Generic Language Technology
Software Language Engineering
Some issues on scheduling estimation model for object-oriented software projects
ACM SIGSOFT Software Engineering Notes
An ASSL-generated architecture for autonomic systems
C3S2E '09 Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering
A Model for Describing and Annotating Documents
Proceedings of the 2006 conference on Information Modelling and Knowledge Bases XVII
Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
Determinants of Service Reusability
Proceedings of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07
Process Patterns for Component-Based Software Development
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Architecture for Hybrid Robotic Behavior
HAIS '09 Proceedings of the 4th International Conference on Hybrid Artificial Intelligence Systems
Automatic generation of object-oriented programs using genetic programming
GECCO '96 Proceedings of the 1st annual conference on Genetic and evolutionary computation
Package coupling measurement in object-oriented software
Journal of Computer Science and Technology
Electronic Document Tracking System (EDTS): A Prototype
Proceedings of the Symposium on Human Interface 2009 on ConferenceUniversal Access in Human-Computer Interaction. Part I: Held as Part of HCI International 2009
Using XML for VLSI Physical Design Automation
ICA3PP '09 Proceedings of the 9th International Conference on Algorithms and Architectures for Parallel Processing
A state diagram creation and code generation tool for robot programming
Journal of Computing Sciences in Colleges
Template for a system design file using OODPM version 2010
ACM SIGSOFT Software Engineering Notes
Ontological modeling for software application development
Advances in Engineering Software
Development of a design system for EPS cushioning package of a monitor using axiomatic design
Advances in Engineering Software
Reasoning on UML class diagrams
Artificial Intelligence
Distributed container: a design pattern for fault tolerance and high speed data exchange
Proceedings of the ACM SIGAda annual international conference on Ada and related technologies
Software quality model based on software development approaches
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Translating an OMT schema to an ODMG-93 schema
Computer Standards & Interfaces
A predictive controller for autonomous vehicle path tracking
IEEE Transactions on Intelligent Transportation Systems
A machine learning approach to assessing knowledge sharing during collaborative learning activities
CSCL '02 Proceedings of the Conference on Computer Support for Collaborative Learning: Foundations for a CSCL Community
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
A methodology for creating a virtual model for a flexible manufacturing system
Computers in Industry
The engineering of concurrent simulations of complex systems
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Theoretical foundations for conceptual modelling in information systems development
Decision Support 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 case study of environmental modelling and simulation using transplantable components
Environmental Modelling & Software
Object-oriented modeling approach to surface water quality management
Environmental Modelling & Software
Model-based support for business re-engineering
Information and Software Technology
Does UML make the grade? Insights from the software development community
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
Comprehension and quality of analysis specifications-a comparison of FOOM and OPM methodologies
Information and Software Technology
Information and Software Technology
A navigational data model for object modeling technique development environment
Information Sciences: an International Journal
Information Sciences: an International Journal
Modelling hypermedia and web applications: the Ariadne Development Method
Information Systems
A PN-based approach to the high-level synthesis of digital systems
Integration, the VLSI Journal
Adaptive automation in a naval combat management system
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Architectural concepts and Design Patterns for behavior modeling and integration
Mathematics and Computers in Simulation
Software frameworks and embedded control systems
Software frameworks and embedded control systems
PREMO: A framework for multimedia middleware: specification, rationale, and java binding
PREMO: A framework for multimedia middleware: specification, rationale, and java binding
Models and tools for managing development processes
Models and tools for managing development processes
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
Exploring interaction space as abstraction mechanism for task-based user interface design
TAMODIA'06 Proceedings of the 5th international conference on Task models and diagrams for users interface design
ProSQL: a prototyping tool for SQL temporal language extensions
BNCOD'03 Proceedings of the 20th British national conference on Databases
Hierarchical and recursive state machines with context-dependent properties
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Activity-driven synthesis of state machines
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Deciding life-cycle inheritance on Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Reusable software component retrieval system based on web
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartII
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
From entities and relationships to social actors and dependencies
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Temporal constraints for object migration and behavior modeling using colored petri nets
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Object-oriented modelling in practice: class model perceptions in the ERM context
ER'00 Proceedings of the 19th international conference on Conceptual modeling
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
Behavior consistent inheritance in UML
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Contextual diagrams as structuring mechanisms for designing configuration knowledge bases in UML
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
The UML family: profiles, prefaces and packages
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Part-whole statecharts for the explicit representation of compound behaviours
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Formalizing the UML class diagram using object-Z
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
A formal approach to collaborations in the unified modeling language
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
A classification of stereotypes for object-oriented modeling languages
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
On the behavior of complex object-oriented systems
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Modeling hard real time systems with UML the OOHARTS approach
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
UML collaboration diagrams and their transformation to java
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Closing the gap between object-oriented modeling of structure and behavior
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
Determinants of software quality: A survey of information systems project managers
Information and Software Technology
Part-whole reasoning in an object-centered framework
Part-whole reasoning in an object-centered framework
Agent-based coordination for the sensor web
Proceedings of the 2010 ACM Symposium on Applied Computing
A conceptual modeling methodology based on niches and granularity
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Objective coordination in multi-agent system engineering: design and implementation
Objective coordination in multi-agent system engineering: design and implementation
Transactions on aspect-oriented software development IV
From "formal methods" to system modeling
Formal methods and hybrid real-time systems
A categorical approach to mereology and its application to modelling software components
Transactions on rough sets VIII
Taming agents and objects in software engineering
Software engineering for large-scale multi-agent systems
Software engineering for large-scale multi-agent systems
Traceability-centric model-driven object-oriented engineering
Information and Software Technology
Business process modeling languages: Sorting through the alphabet soup
ACM Computing Surveys (CSUR)
Co-ordination in artificial agent societies: social structures and its implications for autonomous problem-solving agents
Empirical modelling and the foundations of artificial intelligence
Computation for metaphors, analogy, and agents
Conceptual modeling of causal map: Object oriented causal map
Expert Systems with Applications: An International Journal
Impact Analysis using Class Interaction Prediction Approach
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Intelligent retail logistics scheduling
IAAI'96 Proceedings of the eighth annual conference on Innovative applications of artificial intelligence
Software architecture design: evaluation and transformation
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Towards an integrated, model-based codesign environment
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Performance concerns of polymorphism in modelling domain variability in real-time systems
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Hardware/software specification, design and test using a system level approach
SBCCI'99 Proceedings of the XIIth conference on Integrated circuits and systems design
Assessment of usability metrics for object-oriented software system
ACM SIGSOFT Software Engineering Notes
Tools for model-based real-time system synthesis
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Towards an application of model-based codesign: an autonomous, intelligent cruise controller
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Filling the gap between CASE tools and PSEEs
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
UCM-ROOM modelling: from use case maps to communicating state machines
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Staffing and organization in the engineering of systems
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Towards an open framework for conceptual knowledge in ECBS domain and information modelling
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
CASA: computer aided systems architecting
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
A survey of system design methodologies
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
HIGHROBOT: a high-performance universal robot control on parallel workstations
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Object oriented architecture for affective multimodal e-learning interfaces
Intelligent Decision Technologies
A visual query interface for a customisable schema visualisation system
IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
A web-based animator for validating object specifications
IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
Enhancing the semantics of UML association redefinition
Data & Knowledge Engineering
Interoperability Services for Models and Ontologies
Proceedings of the 2011 conference on Databases and Information Systems VI: Selected Papers from the Ninth International Baltic Conference, DB&IS 2010
Modelling behaviour requirements for automatic interpretation, simulation and deployment
SIMPAR'10 Proceedings of the Second international conference on Simulation, modeling, and programming for autonomous robots
Semantic linking through spaces for cyber-physical-socio intelligence: A methodology
Artificial Intelligence
ADAM: architecture-driven multi-agent systems development methods
SMO'05 Proceedings of the 5th WSEAS international conference on Simulation, modelling and optimization
Towards the establishment of supporting mechanisms for modeling and generating educational content
Proceedings of the 2011 ACM Symposium on Applied Computing
The architecture description language model
Graph transformations and model-driven engineering
Simple metric for assessing quality of service design
ICSOC'10 Proceedings of the 2010 international conference on Service-oriented computing
Computationally Effective Reasoning About Goal Interactions
Journal of Automated Reasoning
A genesis of thinking in the evolution of ancient philosophy and modern software development
UAHCI'11 Proceedings of the 6th international conference on Universal access in human-computer interaction: design for all and eInclusion - Volume Part I
Qualitative modeling in the landscape development monitoring
Proceedings of the 15th WSEAS international conference on Systems
UML formal semantics: lessons learned
Software and Systems Modeling (SoSyM)
A question-based method for deriving software architectures
ECSA'11 Proceedings of the 5th European conference on Software architecture
Using virtual embryogenesis in multi-robot organisms
ICAIS'11 Proceedings of the Second international conference on Adaptive and intelligent systems
Models of Collaboration as the Foundation for Collaboration Technologies
Journal of Management Information Systems
Network fragments: representing knowledge for constructing probabilistic models
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
An eclipse plugin for validating names in UML conceptual schemas
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
Digital preservation and workflow process
ICADL'04 Proceedings of the 7th international Conference on Digital Libraries: international collaboration and cross-fertilization
Applying the UML class diagram in the performance analysis
EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation
Modelling ontology use for information systems
WM'05 Proceedings of the Third Biennial conference on Professional Knowledge Management
Collaborating semantic link network with resource space model
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
On a parthood specification method for component software
RSCTC'06 Proceedings of the 5th international conference on Rough Sets and Current Trends in Computing
The association construct in conceptual modelling – an analysis using the bunge ontological model
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Efficient searching in large inheritance hierarchies
DEXA'05 Proceedings of the 16th international conference on Database and Expert Systems Applications
Chaos-model based framework for embedded software development
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Toward a comprehension view of web engineering
ICWE'05 Proceedings of the 5th international conference on Web Engineering
Web applications design with a multi-process approach
ICWE'05 Proceedings of the 5th international conference on Web Engineering
Formal concept analysis-based class hierarchy design in object-oriented software development
Formal Concept Analysis
Review: adaptive organizational changes in agent-oriented methodologies
The Knowledge Engineering Review
Designing application domain models with roles
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
A component identification technique from object-oriented model
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part III
ISSADS'05 Proceedings of the 5th international conference on Advanced Distributed Systems
Entity-relationship and object-oriented formalisms for modeling spatial environmental data
Environmental Modelling & Software
Application of real-time object-oriented modeling technique for real-time computer control
ACSAC'05 Proceedings of the 10th Asia-Pacific conference on Advances in Computer Systems Architecture
From object-oriented to agent-oriented software engineering methodologies
Software Engineering for Multi-Agent Systems III
Analyzing object-oriented design patterns from an object-process viewpoint
NGITS'06 Proceedings of the 6th international conference on Next Generation Information Technologies and Systems
Requirements for service composition in ultra-large scale software-intensive systems
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
An integrated software development environment for web applications
SERA'04 Proceedings of the Second international conference on Software Engineering Research, Management and Applications
A taxonomy on component-based software engineering methods
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Unifying hardware and software components for embedded system development
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
System-on-chip verification process using UML
UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications
Behavior based approach for robot navigation and chemical anomaly tracking
ICIRA'11 Proceedings of the 4th international conference on Intelligent Robotics and Applications - Volume Part II
Advanced Engineering Informatics
System-on-chip verification process using UML
UML Modeling Languages and Applications
Concurrent material flow analysis by P3R-driven modeling and simulation in PLM
Computers in Industry
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
A formal approach to design patterns in Re-engineering
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
A Use Case Interpretation of B AMN
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Formal specifications of software design methods
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Appropriateness of the activity-centred graphs in information system modelling
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
A validation system for object oriented specifications of information systems
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Towards the object persistence via relational databases
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
The interpretation of business communication
CM'96 Proceedings of the First international conference on Communication Modeling: The language/action perspective
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Foundations of the unified modeling language
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
A formal theory for the views-a relationship
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
A semantics for object-oriented systems
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Modular semantics for object-oriented models
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
NHS: a tool for the automatic construction of news hypertext
IRSG'98 Proceedings of the 20th Annual BCS-IRSG conference on Information Retrieval Research
Mapping object diagrams into B specifications
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Use and reuse of indexing and retrieval functionality in a multimedia IR framework
MIRO'95 Proceedings of the Final conference on Multimedia Information Retrieval
Statecharts as protocols for objects
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
Protocol quality engineering: addressing industry concerns about formal methods
Computer Communications
An agent-based approach for supporting quality of service in distributed multimedia systems
Computer Communications
TINA - Architectural basis for future telecommunications services
Computer Communications
Java hypermedia: on and beyond the world wide web
Computer Communications
Rapid prototyping of new telecommunications services: a procedural approach
Computer Communications
A client/server application as an example for MPEG-4 systems
Computer Communications
Patterns for constructing CSCW applications in TINA
Computer Communications
Android genetic programming framework
EuroGP'12 Proceedings of the 15th European conference on Genetic Programming
Integrating multimedia communications into an MMS environment
Computer Communications
Design, implementation and performance study of reliable transactions in X.500 directory service
Computer Communications
Construct specific coupling measurement for C++ software
Computer Languages, Systems and Structures
A Comparison of Metric-Based and Empirical Approaches for Cognitive Analysis of Modeling Languages
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Specification and Verification of Invariants by Exploiting Layers in OO Designs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Towards an interactive agent-based approach to real-time feedback (IAARF) in e-learning system
ICHL'12 Proceedings of the 5th international conference on Hybrid Learning
Dependability modeling and analysis of software systems specified with UML
ACM Computing Surveys (CSUR)
Computer Science Education in Secondary Schools -- The Introduction of a New Compulsory Subject
ACM Transactions on Computing Education (TOCE)
Software and Systems Modeling (SoSyM)
Aspect-oriented model-driven code generation: A systematic mapping study
Information and Software Technology
SIMPAR'12 Proceedings of the Third international conference on Simulation, Modeling, and Programming for Autonomous Robots
Modeling Requirements for Future CASE: Modeling Issues and Architectural Consideration
Information Resources Management Journal
Business-Information Systems Professional Differences: Bridging the Business Rule Gap
Information Resources Management Journal
Organizational Memory Information Systems: A Domain Analysis in the Object-Oriented Paradigm
Information Resources Management Journal
SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
Proceedings of the 2013 International Conference on Software Engineering
Content over container: object-oriented programming with multiplicities
Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
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
Checking feasible completeness of domain models with natural language queries
APCCM '12 Proceedings of the Eighth Asia-Pacific Conference on Conceptual Modelling - Volume 130
Editorial: A complete set of guidelines for naming UML conceptual schema elements
Data & Knowledge Engineering
A granular hierarchical multiview metrics suite for statecharts quality
Advances in Software Engineering
Guidelines for representing complex cardinality constraints in binary and ternary relationships
Software and Systems Modeling (SoSyM)
KBRE: a framework for knowledge-based requirements engineering
Software Quality Control
A RECOMBINANT KNOWLEDGE ASSIMILATION COMMON PROCESS FOR RECURSIVE TRANSDISCIPLINE SYNTHESIS
Journal of Integrated Design & Process Science
TRANSDISCIPLINARY SYNTHESIS AND COGNITION FRAMEWORKS
Journal of Integrated Design & Process Science
Hi-index | 0.23 |