2493 search results - page 285 / 499 » Tool Support for Design by Contract |
83
Voted
ISADS
1999
IEEE
15 years 3 months ago
1999
IEEE
Tailorability is generally regarded as a key property of groupware systems due to the dynamics and diversity of cooperative work. This article investigates the use of software com...
ASAP
2004
IEEE
15 years 2 months ago
2004
IEEE
Biosequence similarity search is an important application in modern molecular biology. Search algorithms aim to identify sets of sequences whose extensional similarity suggests a c...
104
click to vote
ICFEM
1998
Springer
15 years 2 months ago
1998
Springer
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
72
Voted
FDL
2008
IEEE
15 years 17 days ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...
INTERACT
2003
15 years 5 days ago
2003
: Users performance when seeking for information in two information spaces of different design was correlated with their cognitive abilities, and their geographic orientation abili...