3765 search results - page 203 / 753 » Formal Methods for Systems Engineering Behavior Models |
199
click to vote
AAMAS
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. As agents move into ever more important applications, there is a natural growth in interest in techniques for synthesizing multiagent systems. We describe an approach for...
153
click to vote
ENTCS
2000
15 years 6 months ago
2000
Incompleteness results for behavioral logics are investigated. We show that there is a basic finite behavioral specification for which the behavioral satisfaction problem is not r...
168
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
181
click to vote
ICSE
1997
IEEE-ACM
15 years 10 months ago
1997
IEEE-ACM
Implementing, validating, modifying, or reengineering an object-oriented system requires an understanding of the object and class interactions which occur as a program executes. T...
133
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
—Many specifications include assumptions on the environment. If the environment satisfies the assumptions then a correct system reacts as intended. However, when the environmen...