1307 search results - page 115 / 262 » Conceptual models: begin by designing what to design |
172
click to vote
WAIM
2010
Springer
15 years 4 months ago
2010
Springer
We present HyperGraphDB, a novel graph database based on generalized hypergraphs where hyperedges can contain other hyperedges. This generalization automatically reifies every ent...
145
click to vote
FORTE
2007
15 years 7 months ago
2007
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
167
click to vote
ESOP
2005
Springer
15 years 12 months ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
190
click to vote
IVEVA
2004
15 years 7 months ago
2004
Today, the development of a VR application is still a long and difficult task as new features are being developed for Virtual Reality. There is a need to have better modelling tool...
158
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—IP-XACT is a standard for describing intellectual property metadata for System-on-Chip (SoC) integration. Reesearchers have proposed visualizing and abstracting IP-XACT objects ...