15636 search results - page 29 / 3128 » Modelling by supersaturated designs |
103
click to vote
CAISE
2000
Springer
15 years 6 months ago
2000
Springer
Abstract This article presents OO-HMethod, an extension of the OOMethod conceptual modelling approach to address the particulars associated with the design of web interfaces. It is...
WWW
2004
ACM
16 years 2 months ago
2004
ACM
The use of semantic web languages brings a number of advantages for web engineering methodologies. In this paper we present how in the Hera methodology the design models benefit f...
111
click to vote
EMSOFT
2007
Springer
2007
Springer
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
15 years 7 months ago
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that generalizes the...
112
click to vote
ISSRE
2003
IEEE
15 years 6 months ago
2003
IEEE
Systematic design testing, in which executable models of behaviors are tested using inputs that exercise scenarios, can help reveal flaws in designs before they are implemented i...
115
click to vote
CONCUR
2000
Springer
15 years 6 months ago
2000
Springer
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...