2409 search results - page 224 / 482 » Logical systems for structured specifications |
253
click to vote
JUCS
2002
15 years 4 months ago
2002
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
175
click to vote
TABLEAUX
1998
Springer
15 years 9 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
142
click to vote
SEAA
2008
IEEE
15 years 11 months ago
2008
IEEE
Software product line engineering has emerged as one of the dominant paradigms for developing variety of software products based on a shared platform and shared software artifacts...
115
click to vote
MVA
1992
15 years 5 months ago
1992
This paper describes the general structure of a full automated document analysis system for printed documents. The system is based on a character preclassification stage which red...
182
click to vote
ICSM
2006
IEEE
15 years 10 months ago
2006
IEEE
Coupling in software has been linked with maintainability and existing metrics are used as predictors of external software quality attributes such as fault-proneness, impact analy...