2253 search results - page 92 / 451 » An Approach to Specifying Software Frameworks |
226
click to vote
POPL
2002
ACM
16 years 3 months ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...
147
Voted
VAMOS
2007
Springer
15 years 9 months ago
2007
Springer
The Feature–Oriented approach provides a way of modelling commonalities and variabilities among products of a software product line. A feature model can be used as input for gen...
119
Voted
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper describes work in progress on how to build open source communities. The proposed approach is based on exploiting existing social software communities and applications t...
115
click to vote
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, a uniform approach for synthesizing monitors checking correctness properties specified in linear-time logics at runtime is provided. Therefore, a generic three-value...
139
Voted
APSEC
2002
IEEE
15 years 8 months ago
2002
IEEE
UML is a modeling language that most developers employed during design phase. UML provides various types of diagrams used for specifying both the structure and the behavior of sys...