3837 search results - page 442 / 768 » Concurrent Engineering support in Software Engineering |
120
click to vote
AVI
2008
15 years 6 months ago
2008
Designers still often create a specific user interface for every target platform they wish to support, which is timeconsuming and error-prone. The need for a multi-platform user i...
141
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...
131
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Declarative debugging has been applied to many declarative programming paradigms; in this paper, a declarative debugger for rewriting logic specifications, embodied in th...
125
click to vote
AMAST
2006
Springer
15 years 6 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
129
click to vote
VAMOS
2010
Springer
15 years 5 months ago
2010
Springer
We discuss the application of deontic logics to the modelling of variabilities in product family descriptions. Deontic logics make it possible to express concepts like permission a...