517 search results - page 72 / 104 » Specification transformers: a predicate transformer approach... |
IAT
2008
IEEE
14 years 2 months ago
2008
IEEE
From an external perspective, cognitive agent behaviour can be described by specifying (temporal) correlations of a certain complexity between stimuli (input states) and (re)actio...
CAISE
2005
Springer
14 years 2 months ago
2005
Springer
: In this paper, we propose an MDA based approach for developing multi-agent systems. MDA specifies a structured software development process divided in modeling stages. In the PIM...
SERA
2005
Springer
14 years 1 months ago
2005
Springer
Requirements specifications often make use of a number of scenarios that are interrelated and that depend on each other in many ways. However, they are often treated separately, o...
UML
2005
Springer
14 years 1 months ago
2005
Springer
While model based design of platform independent application logic has already shown significant success, the design of platform independent user interfaces still needs further in...
BPM
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. In requirements engineering we have to discover the user requirements and then we have to transform them into precise system specifications. There are two essential aspec...