Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Semantic constructions in the specification language glider
Selected papers from 9th workshop on Specification of abstract data types : recent trends in data type specification: recent trends in data type specification
Use of deontic logic in the requirements engineering of composite systems
Deontic logic in computer science
Formal Requirements Made Practical
ESEC '93 Proceedings of the 4th European Software Engineering Conference on Software Engineering
GeSEM: A Model for Software Engineering Activities
Proceedings of the IFIP 12th World Computer Congress on Algorithms, Software, Architecture - Information Processing '92, Volume 1 - Volume I
O-O Requirements Analysis: an Agent Perspective
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Towards a Formal Agent-Oriented Requirements Definition of Manufacturing Systems
DIISM '93 Proceedings of the JSPE/IFIP TC5/WG5.3 Workshop on the Design of Information Infrastructure Systems for Manufacturing
A Development Model: Application to Z Specifications
Proceedings of the IFIP WG8.1 Working Conference on Information System Development Process
Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Hi-index | 0.00 |