631 search results - page 47 / 127 » Deriving Specifications from Requirements: An Example |
MABS
1998
Springer
14 years 21 days ago
1998
Springer
Multi-agent simulations aim at representing the dynamics of complex systems as resulting from multiple interactions between autonomous entities including their own perception of lo...
AUSDM
2007
Springer
14 years 2 months ago
2007
Springer
Time series data poses a significant variation to the traditional segmentation techniques of data mining because the observation is derived from multiple instances of the same und...
POPL
2010
ACM
13 years 11 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
RSEISP
2007
Springer
14 years 2 months ago
2007
Springer
This paper concerns the development of a new direction in machine learning, called natural induction, which requires from computergenerated knowledge not only to have high predicti...
CSEE
2001
Springer
14 years 1 months ago
2001
Springer
Process in software engineering is a growing concern for many software development organizations. The need for well-educated software engineers is bringing new software engineerin...