Sciweavers

1005 search results - page 9 / 201
» Agile Methods for Embedded Systems
Sort
View
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
14 years 3 months ago
Validation of Embedded Systems Using Formal Method Aided Simulation
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
Daniel Karlsson, Petru Eles, Zebo Peng
VL
2003
IEEE
121views Visual Languages» more  VL 2003»
14 years 3 months ago
Visual methods for web application design
The paper outlines a tool-supported approach to the design of Web applications. Behavioural models are augmented with web-based simulations of user interfaces to permit validation...
Robert Chatley, Jeff Kramer, Jeff Magee, Sebasti&a...
AGILEDC
2006
IEEE
14 years 3 months ago
On Agile Performance Requirements Specification and Testing
Underspecified performance requirements can cause performance issues in a software system. However, a complete, upfront analysis of a software system is difficult, and usually not...
Chih-Wei Ho, Michael J. Johnson, Laurie Williams, ...
DAC
2000
ACM
14 years 10 months ago
Efficient methods for embedded system design space exploration
Harry Hsieh, Felice Balarin, Luciano Lavagno, Albe...
AGILEDC
2006
IEEE
14 years 3 months ago
Using an Agile Approach in a Large, Traditional Organization
Can Agile approaches be used successfully in large organizations, where traditional methods and high levels of governance are the norm? Although the iterative, agile approaches ha...
Dot Tudor, George A. Walter