5407 search results - page 214 / 1082 » The Software Engineering Global Model |
177
Voted
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
100
Voted
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Web applications are increasingly becoming the most important platform for software applications in industry, with many modelling languages proposed to handle the complexity of ...
135
Voted
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
129
Voted
RE
2010
Springer
14 years 10 months ago
2010
Springer
The impact of non-functional requirements (NFRs) over software systems has been widely documented. Consequently, cost-effective software production method shall provide means to in...
136
Voted
QOSA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Software performance prediction methods are typically validated by taking an appropriate software system, performing both performance predictions and performance measurem...