Sciweavers

4799 search results - page 383 / 960
» Model Based Requirements Engineering for Embedded Software
Sort
View
WCET
2010
15 years 4 months ago
WCET Analysis of a Parallel 3D Multigrid Solver Executed on the MERASA Multi-Core
To meet performance requirements as well as constraints on cost and power consumption, future embedded systems will be designed with multi-core processors. However, the question o...
Christine Rochange, Armelle Bonenfant, Pascal Sain...
CSMR
2008
IEEE
16 years 1 months ago
A Flexible Framework to Support Collaborative Software Evolution Analysis
To understand the evolution of software researchers have developed a plethora of tools to parse, model, and analyze the history of systems. Despite their usefulness, a common down...
Marco D'Ambros, Michele Lanza
APSEC
2004
IEEE
15 years 10 months ago
A Project Management Support Tool using Communication for Agile Software Development
Recently, agile software development methods are popular because software should be developed in a short period. However, conventional project management techniques are often not ...
Noriko Hanakawa, Kimiharu Okura
ISARCS
2010
141views Hardware» more  ISARCS 2010»
15 years 10 months ago
Integrating Fault-Tolerant Techniques into the Design of Critical Systems
Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a softwar...
Ricardo J. Rodríguez, José Merseguer
SIGSOFT
2001
ACM
16 years 7 months ago
Detecting implied scenarios in message sequence chart specifications
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...
Jeff Kramer, Jeff Magee, Sebastián Uchitel