1199 search results - page 51 / 240 » Software Verification and Software Engineering a Practitione... |
168
click to vote
FOSSACS
2012
Springer
13 years 12 months ago
2012
Springer
Coalgebra offers a unified theory of state based systems, including infinite streams, labelled transition systems and deterministic automata. In this paper, we use the coalgebrai...
231
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
136
click to vote
SEKE
2005
Springer
15 years 9 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
136
Voted
ICSE
1997
IEEE-ACM
15 years 8 months ago
1997
IEEE-ACM
The Rigi reverse engineering system provides two contrasting approaches for presenting software structures in its graph editor. The rst displays the structures through multiple, i...
116
Voted
INFSOF
2006
15 years 4 months ago
2006
Although software measurement plays an increasingly important role in Software Engineering, there is no consensus yet on many of the concepts and terminology used in this field. E...