3399 search results - page 343 / 680 » Requirements Development in Scenario-Based Design |
171
click to vote
TAICPART
2006
IEEE
16 years 21 days ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
160
click to vote
APSEC
2005
IEEE
16 years 9 days ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
138
click to vote
MSWIM
2005
ACM
16 years 7 days ago
2005
ACM
Developing network protocols for mobile wireless systems is a complex task, and most of the existing simulator frameworks are not well suited for experimental development. The YAE...
172
click to vote
HVC
2005
Springer
16 years 6 days ago
2005
Springer
Testing forms a critical part of the development process for large-scale software, and there is growing need for automated tools that can read, represent, analyze, and transform th...
167
click to vote
ASSETS
2004
ACM
16 years 3 days ago
2004
ACM
The hierarchical structure of a program can be quite complex. As such, many Integrated Development Environments (IDEs) provide graphical representations of program structure at di...