2835 search results - page 165 / 567 » Imperfect Requirements in Software Development |
EUROMICRO
1998
IEEE
14 years 2 months ago
1998
IEEE
This paper introduces thread integration, a new method of providing low-cost concurrency for microcontrollers and microprocessors. This post-pass compiler technology effectively i...
CODES
1996
IEEE
14 years 2 months ago
1996
IEEE
The design of multi-dimensional systems using hardware/software codesign allows a significant improvement in the development cycle. This paper presents a technique that enables a ...
METRICS
1996
IEEE
14 years 2 months ago
1996
IEEE
This paper describes the results of a study where the impact of Object-Oriented design on software quality characteristics is experimentally evaluated. A suite of metrics for OO d...
IJCAI
2007
13 years 11 months ago
2007
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consu...
SIGSOFT
1996
ACM
14 years 2 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...