2057 search results - page 309 / 412 » Developing the Designer's Toolkit with Software Comprehensio... |
230
click to vote
WWW
2005
ACM
15 years 10 months ago
2005
ACM
Semantic Web Information Systems (SWIS) are Web Information Systems that use Semantic Web technologies. Hera is a modeldriven design methodology for SWIS. In Hera, models are repr...
157
Voted
VL
2005
IEEE
15 years 10 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
110
click to vote
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features incrementally. We present the AHEAD (Algebraic Hierarchical Eq...
146
click to vote
AOSD
2010
ACM
15 years 11 months ago
2010
ACM
The development of complex software requires the implementation of functions over a variety of recursively defined data structures. The design (and modeling) of structures can it...
109
click to vote
SAFECOMP
2000
Springer
15 years 8 months ago
2000
Springer
Increasingly, the dependability of vehicle based programmable systems is becoming a key feature in ensuring the safety of those in and around the vehicle. The goal of those respons...