Sciweavers

1390 search results - page 175 / 278
» A Methodology for Requirements Engineering Process Developme...
Sort
View
EMSOFT
2001
Springer
15 years 4 months ago
Using Multiple Levels of Abstractions in Embedded Software Design
ltiple Levels of Abstractions in Embedded Software Design Jerry R. Burch1, Roberto Passerone1, and Alberto L. Sangiovanni-Vincentelli2 1 Cadence Berkeley Laboratories, Berkeley CA ...
Jerry R. Burch, Roberto Passerone, Alberto L. Sang...
CCE
2007
14 years 12 months ago
An upper ontology based on ISO 15926
Ontologies reflect our view of what exists and developing ontologies for a given domain requires a common context. This context can be characterized explicitly by means of an uppe...
Rafael Batres, Matthew West, David Leal, David Pri...
IBERAMIA
2004
Springer
15 years 5 months ago
Checking Social Properties of Multi-agent Systems with Activity Theory
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
CCE
2005
14 years 11 months ago
CFD analyses of complex flows
Computational fluid dynamics (CFD) of complex processes and complicated geometries embraces the transport of momentum, heat, and mass including the description of reaction kinetic...
Richard Farmer, Ralph Pike, Gary Cheng
UML
2005
Springer
15 years 5 months ago
Dynamic Secure Aspect Modeling with UML: From Models to Code
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...
Jan Jürjens, Siv Hilde Houmb