Sciweavers

APAQS
2001
IEEE
14 years 4 months ago
A Tailored Capability Model for Inspection Process Improvement
Software inspection is recognised as the most effective means of finding defects. In spite of its important role in software development, existing capability models have not addre...
Ilkka Tervonen, Juha Iisakka, Lasse Harjumaa
APAQS
2001
IEEE
14 years 4 months ago
End-to-End Integration Testing
Integration testing has always been a challenge especially if the system under test is large with many subsystems and interfaces. This paper proposes an approach to design End-toE...
Raymond A. Paul
APAQS
2001
IEEE
14 years 4 months ago
Combining the Animation and Testing of Abstract Data Types
Data Types Tim Miller Paul Strooper May 2001 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 http://svrc.it.uq.edu.au
Tim Miller, Paul A. Strooper
APAQS
2001
IEEE
14 years 4 months ago
Incremental Fault-Tolerant Design in an Object-Oriented Setting
With the increasing emphasis on dependability in complex, distributed systems, it is essential that system development can be done gradually and at different levels of detail. In ...
Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, ...
APAQS
2001
IEEE
14 years 4 months ago
Object-Oriented Program Behavior Analysis Based on Control Patterns
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...
C.-C. Hwang, S.-K. Huang, D.-J. Chen, D. Chen
APAQS
2001
IEEE
14 years 4 months ago
A Selective Software Testing Method Based on Priorities Assigned to Functional Modules
Masayuki Hirayama, Tetsuya Yamamoto, Jiro Okayasu,...
APAQS
2001
IEEE
14 years 4 months ago
A Path to Virtual Software Inspection
A number of computer tools have been introduced to overcome the difficulties in traditional software inspection. Actual inspection tools are rarely used, however, as the current t...
Lasse Harjumaa, Henrik Hedberg, Ilkka Tervonen
APAQS
2001
IEEE
14 years 4 months ago
A Specific Software Development Process for an Electronic Commerce Portal
The development of electronic commerce or electronic business systems (EC/EB systems) is subject to different conditions than the development of conventional software systems. Thu...
Volker Gruhn, Lothar Schöpe, Matthias Book
APAQS
2001
IEEE
14 years 4 months ago
Testable Use Cases in the Abstract State Machine Language
Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte...