1141 search results - page 78 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
169
click to vote
CODES
2007
IEEE
16 years 18 days ago
2007
IEEE
With growing capacities of flash memories, an efficient layer to manage read and write access to flash is required. NFTL is a widely used block based flash translation layer de...
174
Voted
ISQED
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we evaluate the dependencies between tools, data and environment in process design kits, and present a framework for systematically analyzing the quality of the des...
133
click to vote
COMPSAC
1998
IEEE
15 years 10 months ago
1998
IEEE
Realizing a shift of software engineering towards a component-based approach to software development requires the development of higher level programming systems supporting the de...
126
click to vote
SIGADA
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
177
click to vote
ICWE
2005
Springer
15 years 11 months ago
2005
Springer
There is an apparent need for specifying the integration of multiple knowledge sources during the design of Web Information Systems (WIS) where the actual data is often retrieved f...