1481 search results - page 80 / 297 » Enriching the Software Development Process by Formal Methods |
181
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Charmy is a framework for designing and validating architectural specifications. In the early stages of the software development process, the Charmy framework assists the software...
176
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
168
click to vote
FASE
2007
Springer
16 years 10 days ago
2007
Springer
Although unit tests are recognized as an important tool in software development, programmers prefer to write code, rather than unit tests. Despite the emergence of tools like JUni...
176
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...
166
click to vote
SEFM
2008
IEEE
16 years 17 days ago
2008
IEEE
The only practical way to test distributed messagepassing systems is to use local testing. In this approach, used in formalisms such as concurrent TTCN-3, some components are repl...