Sciweavers

21379 search results - page 208 / 4276
» The profession of IT - Evolutionary system development
Sort
View
MODELS
2007
Springer
16 years 22 days ago
A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software
Many safety-related and certification standards exist for developing safety-critical systems. Safety assessments are performed in practice, and system certification according to a...
Gregory Zoughbi, Lionel C. Briand, Yvan Labiche
WORDS
2005
IEEE
16 years 5 days ago
A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation
Writing a new scheduler and integrating it into an existing OS is a daunting task, requiring the understanding of multiple low-level kernel mechanisms. Indeed, implementing a new ...
Gilles Muller, Julia L. Lawall, Hervé Duche...
CC
2004
Springer
15 years 12 months ago
Developing a Foundation for Code Optimization
Although optimization technology has been successful over the past 40 years, recent trends are emerging that demand we reconsider the paradigm that we are using for code optimizati...
Mary Lou Soffa
MMB
2004
Springer
142views Communications» more  MMB 2004»
15 years 12 months ago
Trends and Developments in ICT Industry: New Challenges for Performance Analysts
In the next few years the landscape of the information and communications technology (ICT) industry will be subject to many changes. New and advanced ICT services will be brought ...
Robert D. van der Mei, Bart Gijsen
DSVIS
1998
Springer
15 years 10 months ago
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
Meurig Sage, Chris Johnson