1527 search results - page 49 / 306 » From Requirements to Design: Formalizing the Key Steps |
154
click to vote
IAT
2009
IEEE
16 years 20 days ago
2009
IEEE
—The import of the notion of institution in the design of MASs requires to develop formal and efficient methods for modeling the interaction between agents’ behaviour and norm...
171
click to vote
CDVE
2007
Springer
16 years 3 days ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
122
click to vote
CONCUR
1989
Springer
15 years 10 months ago
1989
Springer
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
143
click to vote
FM
2006
Springer
15 years 9 months ago
2006
Springer
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
159
click to vote
ECTEL
2007
Springer
16 years 3 days ago
2007
Springer
: Current learning modelling languages do not allow formalization of scripts where generic tools are required. This limitation is especially relevant on remote courses when using c...