Sciweavers

4007 search results - page 238 / 802
» Automotive Software Integration
Sort
View
CORR
2008
Springer
143views Education» more  CORR 2008»
15 years 5 months ago
A Type System for Data-Flow Integrity on Windows Vista
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani
IJDST
2011
117views more  IJDST 2011»
14 years 8 months ago
Integrating Production Automation Expert Knowledge Across Engineering Domains
The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production automa...
Thomas Moser, Stefan Biffl, Wikan Danar Sunindyo, ...
ICSE
2003
IEEE-ACM
16 years 5 months ago
Requirements Discovery during the Testing of Safety-Critical Software
This paper describes the role of requirements discovery during the testing of a safety-critical software system. Analysis of problem reports generated by the integration and syste...
Robyn R. Lutz, Ines Carmen Mikulski
ICSE
2009
IEEE-ACM
15 years 12 months ago
FeatureIDE: A tool framework for feature-oriented software development
Tools support is crucial for the acceptance of a new programming language. However, providing such tool support is a huge investment that can usually not be provided for a researc...
Christian Kästner, Thomas Thüm, Gunter S...
ICSM
2008
IEEE
15 years 11 months ago
Traceability for the maintenance of secure software
Traceability links among different software engineering artifacts make explicit how a software system was implemented to accommodate its requirements. For secure and dependable so...
Yijun Yu, Jan Jürjens, John Mylopoulos