1525 search results - page 54 / 305 » Formal Models for Communication-Based Design |
110
click to vote
ICECCS
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...
111
Voted
HICSS
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper describes a collaborative multiagent modeling and simulation approach for designing work systems. The Brahms environment is used to model mission operations for a semi-...
95
Voted
DSD
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper addresses the design issue of System-onelevating the design abstraction levels, through a model-driven approach. It considers the standard Marte profile, which is dedic...
114
click to vote
DASFAA
1993
IEEE
15 years 4 months ago
1993
IEEE
: Entities in engineering design databases need to evolve in both structure and behavior. Such a need is not well addressed by object-oriented data models based on the class concep...
119
Voted
ER
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert designers, may be formally s...