2700 search results - page 222 / 540 » The role of abstraction in software engineering |
185
click to vote
VSTTE
2005
Springer
16 years 9 hour ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
159
click to vote
SIGSOFT
2004
ACM
15 years 12 months ago
2004
ACM
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...
146
click to vote
AMAST
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we give an operational and denotational semantics for a 3APL meta-language, with which various 3APL interpreters can be programmed. We moreover prove equiv...
158
click to vote
XPU
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Different kinds of unit testing activities are used in practice. Organised unit testing (regression testing or test-first activities) are very popular in commercial pract...
138
click to vote
XPU
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The paper outlines an experiment conducted in two different academic environments, in which FIT tests were used as a functional requirements specification. Common challen...