Sciweavers

7206 search results - page 124 / 1442
» Using a Hypermedia System for Systems Engineering
Sort
View
RE
1997
Springer
15 years 10 months ago
SOFL: A Formal Engineering Methodology for Industrial Applications
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
Shaoying Liu
ISMAR
2008
IEEE
16 years 22 days ago
Virtual redlining for civil engineering in real environments
Field workers of utility companies are regularly engaged in outdoor tasks such as network planning, maintenance and inspection of underground infrastructure. Redlining is the term...
Gerhard Schall, Erick Méndez, Dieter Schmal...
ANSS
2007
IEEE
16 years 20 days ago
Evaluating the Design of Biological Cells Using a Computer Workbench
For embedded systems as well as for biological cell systems, design is a feature that defines their identity. The assembly of different components in designs of both systems can ...
Tessa E. Pronk, Simon Polstra, Andy D. Pimentel, T...
CP
1997
Springer
15 years 10 months ago
Programming Constraint Inference Engines
Abstract. Existing constraint programming systems offer a fixed set of inference engines implementing search strategies such as single, all, and best solution search. This is unfo...
Christian Schulte
APSEC
2004
IEEE
15 years 10 months ago
Monitored Software Components - A Novel Software Engineering Approach
We propose monitoring of software components, and use of monitored software components, as a general approach for engineering of embedded computer systems. In our approach, a comp...
Daniel Sundmark, Anders Möller, Mikael Nolin