Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
On the Construction of Submodule Specifications and Communication Protocols
ACM Transactions on Programming Languages and Systems (TOPLAS)
The operational versus the conventional approach to software development
Communications of the ACM
Program developments: formal explanations of implementations
Communications of the ACM
On the inevitable intertwining of specification and implementation
Communications of the ACM
Communicating sequential processes
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Automating the transformational development of software
Automating the transformational development of software
Operational specification as the basis for rapid prototyping
Proceedings of the workshop on Rapid prototyping
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
Deriving specifications from requirements
ICSE '88 Proceedings of the 10th international conference on Software engineering
Constructing Specifications by Combining Parallel Elaborations
IEEE Transactions on Software Engineering
Language issues in the specification and design of composite systems
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Validating system requirements by functional decomposition and dynamic analysis
ICSE '89 Proceedings of the 11th international conference on Software engineering
Work structures and shifts: an empirical analysis of software specification teamwork
ICSE '89 Proceedings of the 11th international conference on Software engineering
A logic of action for supporting goal-oriented elaborations of requirements
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
A proposed perspective shift: viewing specification design as a planning problem
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Integrating multiple specifications using domain goals
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Specification and verification of network managers for large internets
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Negotiation behavior during requirements specification
ICSE '90 Proceedings of the 12th international conference on Software engineering
Knowledge Representation and Reasoning in the Design of Composite Systems
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
Models for supporting the redesign of organizational work
COCS '95 Proceedings of conference on Organizational computing systems
Deriving specifications from requirements: an example
Proceedings of the 17th international conference on Software engineering
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Static, dynamic and run-time modeling of compound classes
ACM SIGPLAN Notices
Expressing the relationships between multiple views in requirements specification
ICSE '93 Proceedings of the 15th international conference on Software Engineering
On formal requirements modeling languages: RML revisited
ICSE '94 Proceedings of the 16th international conference on Software engineering
Understanding “why” in software process modelling, analysis, and design
ICSE '94 Proceedings of the 16th international conference on Software engineering
Classification of research efforts in requirements engineering
ACM Computing Surveys (CSUR)
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Integrating obstacles in goal-driven requirements engineering
Proceedings of the 20th international conference on Software engineering
The use of goals to surface requirements for evolving systems
Proceedings of the 20th international conference on Software engineering
Conceptual model of real-time systems: a perspective
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Agent-based tactics for goal-oriented requirements elaboration
Proceedings of the 24th International Conference on Software Engineering
Annals of Software Engineering
Representing Software Engineering Knowledge
Automated Software Engineering
A Study of 12 Specifications of the Library Problem
IEEE Software
Critiquing Software Specifications
IEEE Software
Exploring Alternatives During Requirements Analysis
IEEE Software
O-O Requirements Analysis: an Agent Perspective
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Agent-Oriented Modelling: Software versus the World
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Requirements interaction management
ACM Computing Surveys (CSUR)
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
From Early to Late Formal Requirements: A Process-Control Case Study
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
An active hypertext model for system requirements
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Goal-directed concept acquisition in requirements elicitation
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Specification criticism via goal-directed envisionment
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
A model for composite system design
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Agent orientation in software engineering
The Knowledge Engineering Review
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology (TOSEM)
Lessons learned from real DSL experiments
Science of Computer Programming - Methods of software design: Techniques and applications
Monitoring and control in scenario-based requirements analysis
Proceedings of the 27th international conference on Software engineering
Operational specification with joint actions: serializable databases
Distributed Computing - Special issue: Specification of concurrent systems
Requirements engineering: from craft to discipline
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Towards a theory on the role of ontologies in software engineering problem solving
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Software engineering as the design theoretic transformation of software problems
Innovations in Systems and Software Engineering
Requirements modelling by synthesis of deontic input-output automata
Proceedings of the 2013 International Conference on Software Engineering
Hi-index | 0.00 |
When a complex system is to be realized as a combination of interacting components, development of those components should commence from a specification of the behavior required of the composite system. A separate specification should be used to describe the decomposition of that system into components. The first phase of implementation from a specification in this style is the derivation of the individual component behaviors implied by these specifications.The virtues of this approach to specification are expounded, and specification language features that are supportive of it are presented. It is shown how these are incorporated in the specification language Gist, which our group has developed. These issues are illustrated in a development of a controller for elevators serving passengers in a multistory building.