Sciweavers

2832 search results - page 6 / 567
» Flexible Modelling for Requirements Engineering
Sort
View
78
Voted
APSEC
2000
IEEE
15 years 4 months ago
Building Formal Models for Software Requirements
Axel van Lamsweerde
ESEC
1999
Springer
15 years 4 months ago
Using Model Checking to Generate Tests from Requirements Specifications
Angelo Gargantini, Constance L. Heitmeyer
COOPIS
2003
IEEE
15 years 5 months ago
BRAIN: A Framework for Flexible Role-Based Interactions in Multiagent Systems
Agent-based approaches in application development seem to meet the requirements of adaptability, scalability, decentralization, and flexibility imposed by complex software systems....
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli