738 search results - page 12 / 148 » Object Orientation and Formal Techniques |
109
click to vote
ISORC
1999
IEEE
15 years 3 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
ECOOP
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. Inheritance is one of the key concepts in object-oriented programming. However, the usefulness of inheritance in concurrent objectoriented programming is greatly reduced ...
ACSC
2000
IEEE
15 years 2 months ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...
ENTCS
2006
14 years 10 months ago
2006
Chords are a declarative synchronisation construct based on the Join-Calculus, available in the programming language C. To our knowledge, chords have no formal model in an object-...
MEMOCODE
2007
IEEE
15 years 5 months ago
2007
IEEE