3514 search results - page 85 / 703 » Evolving Specification Engineering |
AVI
2000
13 years 9 months ago
2000
In various circumstances, it is possible to arrive at the need to specify sequences of operations that a "machine" has to perform to achieve a purpose. This paper will p...
FSEN
2009
Springer
13 years 11 months ago
2009
Springer
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
CODES
1998
IEEE
14 years 6 days ago
1998
IEEE
In this paper, the problem of automatically mapping large-grain dataflow programs onto heterogeneous hardware/softwarearchitectures is treated. Starting with a given hardware/soft...
EUROMICRO
2004
IEEE
13 years 11 months ago
2004
IEEE
It is now widely recognized that the so-called nonfunctional or extra-functional properties of a software system are at least as important as its somewhat more classical functiona...
CLEIEJ
2004
13 years 7 months ago
2004
Because of its facilities for the generalization and specialization of concepts and the unambiguous terminology they provide, ontologies are being used for the representation of re...