5398 search results - page 754 / 1080 » On the Effective Use of Software Standards in Systems Integr... |
140
click to vote
ICSEA
2007
IEEE
16 years 1 months ago
2007
IEEE
Following the agile philosophy that all core features of a system need an automated test harness, performance requirements also need such a check when they are essential for the s...
160
click to vote
SIGADA
2004
Springer
16 years 5 days ago
2004
Springer
This paper describes one method for identifying global variables in Ada procedures and adding them to the parameter list of appropriate procedures. Global variables, ones that are...
166
click to vote
ISPASS
2003
IEEE
16 years 3 days ago
2003
IEEE
The Java language has rapidly become widespread and it is being used to implement a broad range of applications, including applications with high resource requirements. For this r...
156
click to vote
COMPCON
1996
IEEE
15 years 11 months ago
1996
IEEE
An important objective of the MicroUnity mediaprocessor is to allow the design of systems that replace hardwired functionality with software. One of the key design techniques that...
182
click to vote
ICFEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...