5252 search results - page 401 / 1051 » Requirements engineering: a roadmap |
219
click to vote
TACS
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
246
click to vote
WETICE
1995
IEEE
15 years 11 months ago
1995
IEEE
Although there are many quality domains in which ideas and concepts about quality are represented, these representations are often informal. The TOVE Quality Ontology is the forma...
178
click to vote
AVI
2008
15 years 10 months ago
2008
Designers still often create a specific user interface for every target platform they wish to support, which is timeconsuming and error-prone. The need for a multi-platform user i...
190
click to vote
ADAEUROPE
2008
Springer
15 years 9 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...
202
click to vote
ASM
2008
ASM
15 years 9 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...