7961 search results - page 503 / 1593 » Input-Output Model Programs |
204
Voted
ASWEC
2009
IEEE
16 years 1 months ago
2009
IEEE
Feature-oriented traceability is essential for efficient Software Product Line (SPL) development, including product derivation and SPL evolution. Widely-used feature based method ...
194
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...
183
Voted
ACSD
2008
IEEE
16 years 1 months ago
2008
IEEE
Synchronous systems can immediately react to the inputs of their environment which may lead to so-called causality cycles between actions and their trigger conditions. Systems wit...
168
click to vote
QUATIC
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes an initiative to improve software acquisition process in Brazil. This initiative was conducted in the context of the MPS.BR Program, a nationwide effort to de...
200
Voted
AGTIVE
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Aspect-orientation has gained increasing popularity, especially within the programming domain, with textual-based approaches such as AspectJ. Aspect-orientation provides ...