1446 search results - page 29 / 290 » Formal analysis of hardware requirements |
EUROMICRO
2000
IEEE
14 years 10 days ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...
JOT
2010
13 years 6 months ago
2010
Object-oriented analysis and design have been more concerned with system functionality, neglecting non-functional aspects; the result is code which is tangled and difficult to main...
SBIA
2004
Springer
14 years 1 months ago
2004
Springer
During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple...
EDOC
2004
IEEE
13 years 11 months ago
2004
IEEE
Service-oriented architectures and Web service infrastructure provide the ideal framework for interconnecting organizations and for defining distributed business applications. The...