658 search results - page 78 / 132 » A formal approach to object-oriented software engineering |
173
click to vote
FIDJI
2003
Springer
15 years 9 months ago
2003
Springer
The popular slogan ”write once, run anywhere” effectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing target-i...
126
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
135
click to vote
CODES
1996
IEEE
15 years 8 months ago
1996
IEEE
The TaSCA environment for hardware/software co-design of control dominated systems implemented on a single chip includes a novel approach to the system exploration phase for the e...
114
Voted
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the sys...
133
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...