5180 search results - page 389 / 1036 » Requirements Engineering |
165
click to vote
ADAEUROPE
2008
Springer
15 years 8 months ago
2008
Springer
Standards for distribution middleware sometimes impose restrictions and often allow the implementations to decide on aspects that are fundamental to the correct and efficient behav...
179
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
186
click to vote
ASWEC
2008
IEEE
15 years 8 months ago
2008
IEEE
The basic idea behind software reuse is that software developers use reusable components found in software repositories to reduce the amount of code that has to be written and so ...
162
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Model-driven engineering is at the forefront among recent attempts to information systems development. Models are gradually refined from domain specific descriptions to more concre...
172
click to vote
CODES
2005
IEEE
15 years 8 months ago
2005
IEEE
Memory bandwidth issues present a formidable bottleneck to accelerating embedded applications, particularly data bandwidth for multiple-issue VLIW processors. Providing an efficie...