Essential systems analysis
Diagramming techniques for analysts and programmers
Diagramming techniques for analysts and programmers
SADT: structured analysis and design technique
SADT: structured analysis and design technique
An object modelling technique for conceptual design
European conference on object-oriented programming on ECOOP '87
Strategies for real-time system specification
Strategies for real-time system specification
CCITT SDL: overview of the language and its application
Computer Networks and ISDN Systems - CCITT SDL
Rationale and tutorial on OSDL : an object-oriented extension of SDL
Computer Networks and ISDN Systems - CCITT SDL
Communications of the ACM
Object-oriented systems analysis: modeling the world in data
Object-oriented systems analysis: modeling the world in data
The Z notation: a reference manual
The Z notation: a reference manual
Modern structured analysis
The CCITT-specification and description language SDL
Computer Networks and ISDN Systems
An object-oriented approach to domain analysis
ACM SIGSOFT Software Engineering Notes
Object-oriented analysis
Object oriented design with applications
Object oriented design with applications
The object-oriented systems life cycle
Communications of the ACM
Graphical specification of object oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
On the development of reactive systems
Logics and models of concurrent systems
Process algebra
Software requirements: objects, functions, and states
Software requirements: objects, functions, and states
Object-oriented systems development: survey of structured methods
Information and Software Technology
Coherent models for object-oriented analysis
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Object-oriented systems analysis: a model-driven approach
Object-oriented systems analysis: a model-driven approach
SDL with applications from protocol specification
SDL with applications from protocol specification
Object lifecycles: modeling the world in states
Object lifecycles: modeling the world in states
Software specification and design: a disciplined approach for real-time systems
Software specification and design: a disciplined approach for real-time systems
Object-oriented analysis and design
Object-oriented analysis and design
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design
IEEE Transactions on Software Engineering
Object-oriented modeling and design
Object-oriented modeling and design
Designing object-oriented software
Designing object-oriented software
A book of object-oriented knowledge: object-oriented analysis, design and implementation, a new approach to software engineering
A research typology for object-oriented analysis and design
Communications of the ACM - Special issue on analysis and modeling in software development
Semantically Extended Dataflow Diagrams: A Formal Specification Tool
IEEE Transactions on Software Engineering
A practical guide to real-time systems development
A practical guide to real-time systems development
On statecharts with overlapping
ACM Transactions on Software Engineering and Methodology (TOSEM)
A comparative study of object-oriented analysis methods
Journal of Object-Oriented Programming
Yourdon systems method: model-driven systems development
Yourdon systems method: model-driven systems development
Object-oriented system development
Object-oriented system development
Schlaer-Mellor object-oriented analysis rules
ACM SIGSOFT Software Engineering Notes
A note on inheritance and state machines
ACM SIGSOFT Software Engineering Notes
Object-oriented requirements analysis and logical design: a software engineering approach
Object-oriented requirements analysis and logical design: a software engineering approach
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Engineering real time systems: an object-oriented methodology using SDL
Engineering real time systems: an object-oriented methodology using SDL
Real-time object-oriented modeling
Real-time object-oriented modeling
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Object analysis and design: comparison of methods
Object analysis and design: comparison of methods
Computer Networks and ISDN Systems
BOOKTWO of object-oriented knowledge: the working object: object-oriented software engineering: methods and management
Describing and comparing object-oriented analysis and design methods
Object development methods
Contemplating the universe of methods
Object development methods
Seamless object-oriented software architecture: analysis and design of reliable systems
Seamless object-oriented software architecture: analysis and design of reliable systems
From structured analysis to formal specifications: state of the theory
CSC '94 Proceedings of the 22nd annual ACM computer science conference on Scaling up : meeting the challenge of complexity in real-world computing applications: meeting the challenge of complexity in real-world computing applications
Designing object systems: object-oriented modelling with Syntropy
Designing object systems: object-oriented modelling with Syntropy
Object analysis and design: description of methods
Object analysis and design: description of methods
Mainstream objects: an analysis and design approach for business
Mainstream objects: an analysis and design approach for business
Software requirements & specifications: a lexicon of practice, principles and prejudices
Software requirements & specifications: a lexicon of practice, principles and prejudices
Executable object modeling with statecharts
Proceedings of the 18th international conference on Software engineering
Object-oriented technology for real-time systems: a practical approach using OMT and Fusion
Object-oriented technology for real-time systems: a practical approach using OMT and Fusion
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Requirements engineering: frameworks for understanding
Requirements engineering: frameworks for understanding
Object-oriented development at work: fusion in the real world
Object-oriented development at work: fusion in the real world
Improving the analysis stage of the fusion method
Object-oriented development at work
Object-oriented methods (UML ed., 2nd ed.): a foundation
Object-oriented methods (UML ed., 2nd ed.): a foundation
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
SIMULA: an ALGOL-based simulation language
Communications of the ACM
Software Design Methods for Concurrent and Real-Time Systems
Software Design Methods for Concurrent and Real-Time Systems
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
Information Engineering: Introduction
Information Engineering: Introduction
A Calculus of Communicating Systems
A Calculus of Communicating Systems
First-Order Dynamic Logic
Structured Analysis
Migrating to Object Technology
Migrating to Object Technology
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Telecommunications Systems Engineering Using SDL
Telecommunications Systems Engineering Using SDL
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
Structured Systems Analysis: Tools and Techniques
Structured Systems Analysis: Tools and Techniques
OO Systems Analysis: Is It or Isn't It?
IEEE Software
On the Frame Problem in Procedure Specifications
IEEE Transactions on Software Engineering
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
What is in a Step: On the Semantics of Statecharts
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Guidelines for Formalizing Fusion Object-Oriented Analysis Methods
CAiSE ;96 Proceedings of the 8th International Conference on Advances Information System Engineering
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Behavior Consistent Extension of Object Life Cycles
OOER '95 Proceedings of the 14th International Conference on Object-Oriented and Entity-Relationship Modelling
Object-Oriented Software Engineering: A Use Case Driven Approach
Object-Oriented Software Engineering: A Use Case Driven Approach
Principles of Program Design
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
Structured Analysis and System Specification
Structured Analysis and System Specification
Subsystem design guidelines for extensible general-purpose software
ISAW '98 Proceedings of the third international workshop on Software architecture
Completeness in formal specification language design for process-control systems
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Consistency of the static and dynamic components of object-oriented specifications
Data & Knowledge Engineering
Evaluating Information Systems Development Methods: A New Framework
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
Techniques for Reactive System Design: The Tools in TRADE
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Programmer I'interaction avec des machines à états hiérarchiques
IHM '02 Proceedings of the 14th French-speaking conference on Human-computer interaction (Conférence Francophone sur l'Interaction Homme-Machine)
Evaluating UML using a generic quality framework
UML and the unified process
Reviewing Software Diagrams: A Cognitive Study
IEEE Transactions on Software Engineering
A metrics system for quantifying operational coupling in embedded computer control systems
Proceedings of the 4th ACM international conference on Embedded software
Resolving feature convolution in middleware systems
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The role of modelling in the software engineering curriculum
Journal of Systems and Software - Special issue: Software engineering education and training
Abstract Interactions and Interaction Refinement in Model-Driven Design
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Systematic Transformation of Functional Analysis Model into OO Design and Implementation
IEEE Transactions on Software Engineering
Modeling events as entities in object-oriented conceptual modeling languages
Data & Knowledge Engineering - Special issue: ER 2004
A general model of software architecture design derived from five industrial approaches
Journal of Systems and Software
Information Systems Research
A Dynamic Framework for Classifying Information Systems Development Methodologies and Approaches
Journal of Management Information Systems
Process-centered review of object oriented software development methodologies
ACM Computing Surveys (CSUR)
Automatic generation of software behavioral models
Proceedings of the 30th international conference on Software engineering
Verifying UML/OCL Operation Contracts
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Incremental integrity checking of UML/OCL conceptual schemas
Journal of Systems and Software
Quality and comprehension of UML interaction diagrams-an experimental comparison
Information and Software Technology
Transforming use case models to class models and OCL-specifications
International Journal of Computers and Applications
Aligning application architecture to the business context
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
From declarative to imperative UML/OCL operation specifications
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Domain specific model-based development of software for programmable logic controllers
Computers in Industry
Explaining architectural choices to non-architects
ECSA'10 Proceedings of the 4th European conference on Software architecture
Real-world semantics of conceptual models
The evolution of conceptual modeling
Structuring and composition mechanisms to address scalability issues in task models
INTERACT'11 Proceedings of the 13th IFIP TC 13 international conference on Human-computer interaction - Volume Part III
Computing the relevant instances that may violate an OCL constraint
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Incremental evaluation of OCL constraints
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Comparing and transforming between data models via an intermediate hypergraph data model
Journal on Data Semantics IV
Specifying the semantics of operation contracts in conceptual modeling
Journal on Data Semantics VII
Object constraint language (OCL): a definitive guide
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Deriving operation contracts from UML class diagrams
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Vibes: A visual language for specifying behavioral requirements of algorithms
Journal of Visual Languages and Computing
Hi-index | 0.00 |
This article surveys techniques used in structured and object-oriented software specification methods. The techniques are classified as techniques for the specification of external interaction and internal decomposition. The external specification techniques are further subdivided into techniques for the specification of functions, behavior, and communication. After surveying the techniques, we summarize the way they are used in structured and object-oriented methods and indicate ways in which they can be combined. This article ends with a plea for simplicity in diagram techniques and for the use of formal semantics to define these techniques. The appendices show how the reviewed techniques are used in 6 structured and 19 object-oriented specification methods.