1527 search results - page 164 / 306 » From Requirements to Design: Formalizing the Key Steps |
158
click to vote
DATE
2007
IEEE
16 years 26 days ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
178
click to vote
EDOC
2002
IEEE
15 years 11 months ago
2002
IEEE
Continuous change of user requirements has become a constant for geo-information systems. Designing systems that can adapt to such changes requires an appropriate ethodology that ...
193
click to vote
CASCON
2007
15 years 8 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
151
click to vote
CCS
2001
ACM
15 years 11 months ago
2001
ACM
Many encryption systems require the user to memorize high entropy passwords or passphrases and reproduce them exactly. This is often a difficult task. We propose a more fault-tole...
231
click to vote
JUCS
2010
15 years 1 months ago
2010
Abstract: Authoring of Adaptive Educational Hypermedia is a complex activity requiring the combination of a range of design and validation techniques. We demonstrate how Adaptive E...