3192 search results - page 265 / 639 » A Requirements-Driven Development Methodology |
217
click to vote
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper proposes a new method to design an optimal instruction set for pipelined ASIP development using a formal HW/SW codesign methodology. The codesign task addressed in this...
138
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We present a proof-technique for reducing the nondeterminbstract agent specifications in a BDI framework by means of refinement. We implement the operational semantics of agent sp...
187
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
The unfolding of a system represents in a single branching structure all its possible computations: it is the cornerstone both of semantical constructions and of efficient partial ...
160
click to vote
AOSE
2006
Springer
15 years 8 months ago
2006
Springer
This paper develops a model for precisely defining how an agent interacts with objects in its environment through the use of its capabilities. Capabilities are recursively defined ...
179
click to vote
DEXAW
2008
IEEE
15 years 8 months ago
2008
IEEE
Validation is an essential part of software development, and testing is a practical and widely used approach. The emerging methodology is model-based testing, in which test cases ...