280 search results - page 27 / 56 » Problems and Deficiencies of UML as a Requirements Specifica... |
150
click to vote
COMPUTER
1999
15 years 5 months ago
1999
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
152
Voted
FDL
2007
IEEE
15 years 9 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...
148
click to vote
JFP
2008
15 years 5 months ago
2008
This paper presents an operational semantics for the core of Scheme. Our specification improves over the denotational semantics from the Revised5 Report on Scheme specification in...
157
click to vote
CLEIEJ
2002
15 years 5 months ago
2002
This paper presents a Component-based Framework Development Process, of the Cardiology Domain. The Framework, called FrameCardio, was developed in 4 steps: 1Problem Domain Definit...
184
click to vote
ISTAR
2008
15 years 7 months ago
2008
One major obstacle to requirements engineering (RE) is the growing complexity of today's systems. Such a complexity can only be fficiently by powerful abstraction mechanisms a...