15974 search results - page 70 / 3195 » Object-Oriented Software Engineering |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...
ENTCS
2008
13 years 9 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
LOBJET
2000
13 years 8 months ago
2000
:Building software models before implementing them has become widely accepted in the software industry. Object models, graphically represented by class diagrams, lay the foundation...
DAC
2002
ACM
14 years 10 months ago
2002
ACM
Design tools can be profitably associated with libraries of reusable modeling components that will make the description and also the validation of the models much easier. Furtherm...
CORR
2002
Springer
13 years 8 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...