826 search results - page 72 / 166 » A Pragmatic Approach to Formalizing Object-Oriented Modeling... |
ISSS
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper proposes a simulation-based methodology for validation of a system under design in an early phase of development. The key element of this approach is the visual speciļ¬...
WICSA
2004
13 years 9 months ago
2004
COMMUNITY is a formal approach to software architecture. Its main characteristics are: a precise, yet intuitive mathematical semantics based on categorical diagrams; a clear separ...
AMSTERDAM
2009
13 years 6 months ago
2009
In this paper we present an alternative interpretation of statements of epistemic possibility, which does not induce a consistency test on a common ground, as in (Veltman 1996), bu...
ICSE
2010
IEEE-ACM
13 years 10 months ago
2010
IEEE-ACM
The feature list of modern IDEs is steadily growing and mastering these tools becomes more and more demanding, especially for novice programmers. Despite their remarkable capabili...
ET
1998
13 years 7 months ago
1998
Deļ¬ning information required by automatic test systems frequently involves a description of system behavior. To facilitate capturing the required behavior information in the cont...