425 search results - page 14 / 85 » Requirements, specifications, and minimal refinement |
TSE
2002
15 years 3 days ago
2002
In this paper, we propose a means to enhance an architecture description language with a description of component behavior. A notation used for this purpose should be able to expr...
TCS
2002
15 years 3 days ago
2002
We study proof systems for reasoning about logical consequences and refinement of structured specifications, based on similar systems proposed earlier in the literature [ST 88, Wi...
95
Voted
IWAN
1999
Springer
15 years 4 months ago
1999
Springer
There is a need to be able to program network components to adapt to application requirements for quality of service, specialised application dependent routing, to increase effici...
107
Voted
IJAOSE
2010
14 years 9 months ago
2010
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
112
click to vote
ICSR
2000
Springer
15 years 4 months ago
2000
Springer
ions that are fundamental to simulators. We present preliminary results that show how our PLA and DSL synergistically produce a more flexible way of implementing state-machine-base...