611 search results - page 28 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
REFSQ
2009
Springer
15 years 6 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...
TASE
2007
IEEE
15 years 6 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...
187
click to vote
POPL
2008
ACM
16 years 2 days 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...
102
click to vote
ASWEC
2005
IEEE
15 years 5 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...
ASWEC
2007
IEEE
15 years 6 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...