611 search results - page 28 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
125
Voted
REFSQ
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...
118
Voted
TASE
2007
IEEE
15 years 10 months ago
2007
IEEE
The design and implementation of complex software systems ly spans multiple levels of abstractions. The concepts of el of abstractions and their interplay are represented by forma...
232
Voted
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
145
Voted
ASWEC
2005
IEEE
15 years 9 months ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
129
Voted
ASWEC
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper explains some analyses that can be performed on a hierarchical finite state machine to validate that it performs as intended. Such a hierarchical state machine has tra...