3799 search results - page 49 / 760 » An Engineering Approach to Formal Methods |
AOSD
2009
ACM
13 years 5 months ago
2009
ACM
Traditional methods characterize a software product line's requirements using either functional or quality criteria. This appears to be inadequate to assess modularity, detec...
AAMAS
2004
Springer
13 years 7 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
RE
2002
Springer
13 years 7 months ago
2002
Springer
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
WOSP
2000
ACM
14 years 3 days ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
COMPSAC
2002
IEEE
14 years 22 days ago
2002
IEEE
The paper discusses a formal approach for specifying time-dependent Web applications and proposes a Markov model for reliability prediction. Measures for predicting reliability ar...