3799 search results - page 188 / 760 » An Engineering Approach to Formal Methods |
129
click to vote
ECBS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a practical approach to architecture-based design of computer based systems. The approach is discussed in relation to other existing of performing discovery, a...
128
click to vote
FMCO
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
134
click to vote
AI
2007
Springer
15 years 10 months ago
2007
Springer
The judgment that whether an email is spam or non-spam may vary from person to person. Different individuals can have totally different responses to the same email based on their p...
153
click to vote
CAISE
2001
Springer
15 years 9 months ago
2001
Springer
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...
129
click to vote
SEKE
1993
Springer
15 years 8 months ago
1993
Springer
Software metrics provide effective methods for characterizing software. Metrics have traditionally been composed through the definition of an equation, but this approach is limite...