3799 search results - page 489 / 760 » An Engineering Approach to Formal Methods |
185
click to vote
WCRE
2010
IEEE
15 years 5 months ago
2010
IEEE
Existing software product variants, developed by ad hoc reuse such as copy-paste-modify, are often a starting point for building Software Product Line (SPL). Understanding of how ...
152
click to vote
QOSA
2010
Springer
15 years 4 months ago
2010
Springer
Self-adaptation is now a promising approach to maximize the satisfaction of requirements under changing environmental conditions. One of the key challenges for such self-adaptive s...
294
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...
180
click to vote
ICFEM
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
192
click to vote
ICAIL
2003
ACM
15 years 12 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...