678 search results - page 67 / 136 » A core flight software system |
RE
2001
Springer
15 years 3 months ago
2001
Springer
Elicitation of requirements for safety critical aeroengine control systems is dependent on the capture of core design intent and the systematic derivation of requirements addressi...
88
Voted
CISIS
2010
IEEE
15 years 2 months ago
2010
IEEE
Offload C++ is an extended version of the C++ language, together with a compiler and runtime system, for automatically offloading general-purpose C++ code to run on the Synergistic...
ECIS
2004
15 years 17 days ago
2004
Being hailed as possessing the ability to "drive effective business reengineering and management of core and support processes", it is not surprising that Enterprise Res...
117
click to vote
SE
2010
15 years 18 days ago
2010
: The development and usage of complex information systems leads to both technical and human challenges as large numbers of stakeholders with conflicting requirements are involved....
194
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...