2419 search results - page 145 / 484 » A Formal Approach to Software Testing |
119
click to vote
GI
2001
Springer
15 years 8 months ago
2001
Springer
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...
124
click to vote
DATE
2000
IEEE
15 years 8 months ago
2000
IEEE
In current microprocessors and systems, an increasingly high silicon portion is derived through automatic synthesis, with designers working exclusively at the RT-level, and design...
148
click to vote
CASCON
2007
15 years 5 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
115
Voted
ESSOS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present an approach to security requirements engineering, which makes use of special kinds of problem frames that serve to structure, characterize, analyze, and solve ...
119
click to vote
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
This paper points out that many machine learning problems in IR should be and can be formalized in a novel way, referred to as `group-based learning'. In group-based learning...