1601 search results - page 83 / 321 » The affordable application of formal methods to software eng... |
CONPAR
1994
14 years 1 months ago
1994
Data parallel languages such as Vienna Fortran and HPF can be successfully applied to a wide range of numerical applications. However, many advanced scienti c and engineering appl...
IEE
2008
13 years 9 months ago
2008
: Feature diagrams (FDs) are a family of popular modelling languages, mainly used for managing variability in software product lines. FDs were first introduced by Kang et al. as pa...
SDL
2007
13 years 10 months ago
2007
Software metrics are an essential means to assess software quality. For the assessment of software quality, typically sets of complementing metrics are used since individual metric...
UML
2001
Springer
14 years 1 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
CSMR
2000
IEEE
14 years 1 months ago
2000
IEEE
Object-oriented programming is about the creation of reusable classes that are to be extended to capture the specific requirements of the application at hand. However, instead of...