7167 search results - page 21 / 1434 » A Technique for Invariant Generation |
ICECCS
2007
IEEE
15 years 4 months ago
2007
IEEE
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
69
Voted
ECOOPWEXCEPTION
2000
Springer
15 years 2 months ago
2000
Springer
This paper presents a set of concepts and design techniques that has proven successful in implementing and using C++ libraries intended for applications that simultaneously require...
123
click to vote
ICSE
2009
IEEE-ACM
15 years 10 months ago
2009
IEEE-ACM
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...
SP
2005
IEEE
15 years 3 months ago
2005
IEEE
We present a methodology to automatically construct robust signatures whose accuracy is based on formal reasoning so it can be systematically evaluated. Our methodology is based o...
JCB
1998
14 years 9 months ago
1998
Abstract. The method of invariants is an approach to the problem of reconstructing the phylogenetic tree of a collection of m taxa using nucleotide sequence data. Models for the re...