Sciweavers

5182 search results - page 290 / 1037
» COTS-Based Requirements Engineering
Sort
View
ECAI
2010
Springer
15 years 8 months ago
Using Bayesian Networks in an Industrial Setting: Making Printing Systems Adaptive
Abstract. Control engineering is a field of major industrial importance as it offers principles for engineering controllable physical devices, such as cell phones, television sets,...
Arjen Hommersom, Peter J. F. Lucas
ENGL
2008
97views more  ENGL 2008»
15 years 7 months ago
Hybrid Surface Reconstruction Technique for Automotive Applications
Reverse engineering has become a viable technique to create a 3D virtual model of an existing physical object. It enables the reconstruction of body surfaces to create a suitable C...
Gregory M. Lecrivain, Ian F. Kennedy, Arezki Slaou...
CONCUR
1989
Springer
15 years 11 months ago
Using the Temporal Logic RDL for Design Specifications
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter
DATE
2003
IEEE
186views Hardware» more  DATE 2003»
16 years 18 days ago
Formal Methods for Integration of Automotive Software
Novel functionality, configurability and higher efficiency in automotive systems require sophisticated embedded software, as well as distributed software development between man...
Marek Jersak, Kai Richter, Rolf Ernst, Jörn-C...
SIGSOFT
2001
ACM
16 years 8 months ago
WREN---an environment for component-based development
Prior research in software environments focused on three important problems-- tool integration, artifact management, and process guidance. The context for that research, and hence...
Chris Lüer, David S. Rosenblum