4350 search results - page 81 / 870 » Case studies for contract-based systems |
SPIN
1999
Springer
14 years 2 months ago
1999
Springer
In a recent study a series of model checkers, among which Spin [5], SMV [9], and a newer system called XMC [10], were compared on performance. The measurements used for this compar...
AGILEDC
2004
IEEE
14 years 1 months ago
2004
IEEE
Agile practices can and should be evolved throughout a project. This paper focuses on the evolution of two agile practices, namely co-location and planning strategy, in a software...
CEEMAS
2005
Springer
14 years 3 months ago
2005
Springer
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...
MSE
2003
IEEE
14 years 3 months ago
2003
IEEE
In this paper a review of development of manpower in VLSI in India is attempted. In the last decade of the 20th Century, rapid strides have been done in Micro-Electronics in India...
EVOW
2003
Springer
14 years 3 months ago
2003
Springer
This paper describes a novel use of evolutionary techniques to curate a main stream art show, Tabula Rasa. This allowed an openended approach to curation that was entirely in keepi...