1137 search results - page 49 / 228 » Disciplined Methods of Software Specification: A Case Study |
XPU
2007
Springer
15 years 3 months ago
2007
Springer
Testing is an essential part of an agile process as test is automated and tends to take the role of specifications in place of documents. However, whenever test cases are faulty, d...
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
on models are abstract representations of systems one wants to study through computer simulation. In multiagent based simulation, such models usually represent agents and their re...
WCRE
2006
IEEE
15 years 3 months ago
2006
IEEE
In many areas of software engineering, empirical studies are playing an increasingly important role. This stems from the fact that software technologies are often based on heurist...
BMCBI
2006
14 years 9 months ago
2006
Background: Diverse modeling approaches viz. neural networks and multiple regression have been followed to date for disease prediction in plant populations. However, due to their ...
APSEC
1998
IEEE
15 years 2 months ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...