1782 search results - page 83 / 357 » Tool Support for Proof Engineering |
ICSE
2003
IEEE-ACM
16 years 5 months ago
2003
IEEE-ACM
This paper outlines an approach of using engineeringoriented design theories to build bridges between software engineering and human?computer interaction. The main thrust of the a...
167
Voted
KBSE
1997
IEEE
15 years 9 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
158
click to vote
SPLC
2008
15 years 7 months ago
2008
Ongoing research in Software Product Line Engineering (SPLE) emphasises the derivation of a concrete product based on a given variant configuration as one of the most promising ar...
164
click to vote
JUCS
2002
15 years 5 months ago
2002
: Design for All is an important challenge for hypermedia engineering. We analyze this challenge and show that it is necessary to find a way of describing partially designed hyperm...
136
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
Executing critical systems often rely on humans to make important and sometimes life-critical decisions. As such systems become more complex, the potential for human error to lead...