1014 search results - page 46 / 203 » Testing Object Oriented Software |
170
click to vote
SOCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The separation of concerns is a fundamental principle in software engineering. Crosscutting concerns are concerns that do not align with hierarchical and block decomposit...
168
click to vote
VL
1993
IEEE
15 years 10 months ago
1993
IEEE
This paper describes the object-oriented development of ProtoHyperflow, a data flow visual language. We demonstrate how object-oriented software construction principles can be use...
171
click to vote
FMCO
2006
Springer
15 years 10 months ago
2006
Springer
This paper is a tutorial on performing formal specification and semi-automatic verification of Java programs with the formal software development tool KeY. This tutorial aims to fi...
166
click to vote
AMAST
1995
Springer
15 years 10 months ago
1995
Springer
: We present the Orlog deductive object-oriented database system prototype. The implementation of the system relies on the idea of reducing inheritance to deduction and giving a re...
175
click to vote
ICSM
2007
IEEE
16 years 23 days ago
2007
IEEE
Uncovering, modelling, and understanding architectural level dependencies of software systems is a key task for software maintainers. However, current dependency analysis techniqu...