The INFOLOG linear tense propositional logic of events and transactions
Information Systems
A requirements modeling language and its logic
On knowledge base management systems: integrating artificial intelligence and d atabase technologies
Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Object-oriented systems analysis: modeling the world in data
Object-oriented systems analysis: modeling the world in data
Constructing Specifications by Combining Parallel Elaborations
IEEE Transactions 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
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Building an evolution transformation library
ICSE '90 Proceedings of the 12th international conference on Software engineering
Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
Formal specification of object systems
TAPSOFT '91 Proceedings of the international joint conference on theory and practice of software development on Advances in distributed computing (ADC) and colloquium on combining paradigms for software development (CCPSD): Vol. 2
A conceptual modelling formalism for temporal database applications
Information Systems
Object-oriented design
A formal language for the requirements engineering of computer systems
From natural language processing to logic for expert systems
Trusted computing systems: the ProCoS experience
ICSE '92 Proceedings of the 14th international conference on Software engineering
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
The Vienna Development Method: The Meta-Language
The Vienna Development Method: The Meta-Language
Sharing Actions and Attributes in Modal Action Logic
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Temporal Logic & Historical Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
OOZE: An Object Oriented Z Environment
ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
Development of Algebraic Specifications with Constraints
Workshop on Categorial Methods in Computer Science: With Aspects from Topology
Abstract Object Types: A Temporal Perspective
Temporal Logic in Specification
Describing, Structuring and Implementing Objects
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
Goal-directed concept acquisition in requirements elicitation
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
Structured Analysis (SA): A Language for Communicating Ideas
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
TROLL: a language for object-oriented specification of information systems
ACM Transactions on Information Systems (TOIS)
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
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
A Guided Tour through the ICARUS Project
ACM SIGSOFT Software Engineering Notes
A Development Environment for an Object Specification Language
IEEE Transactions on Knowledge and Data 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
Requirements interaction management
ACM Computing Surveys (CSUR)
A web-based animator for validating object specifications
IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
DEFINING OPERATIONAL BEHAVIOR OF OBJECT SPECIFICATIONS BY ATTRIBUTED GRAPH TRANSFORMATIONS
Fundamenta Informaticae
Hi-index | 0.00 |
In this paper, we present a formal object-oriented specification language designed for capturing requirements expressed on composite realtime systems. The specification describes the system as a society of 'agents', each of them being characterised (i) by its responsibility with respect to actions happening in the system and (ii) by its time-varying perception of the behaviour of the other agents. On top of the language, we also suggest some methodological guidance by considering a general strategy based on a progressive assignement cf responsibilities to agents.