3255 search results - page 364 / 651 » Usage-Centered Design and Software Engineering: Models for I... |
180
click to vote
ICFEM
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
224
click to vote
SCOPES
2004
Springer
16 years 9 hour ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
144
click to vote
ICECCS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes the application of the Test Automation Framework on the Mars Polar Lander (MPL) software. The premature shutdown of the descent engine on the MPL spacecraft i...
149
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Based on our previously developed tuning procedure for fractional order proportional integral controller (FO-PI), we present in this paper an extensive comparative experimental...
206
click to vote
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
In a multi-developer project, team collaboration is essential for the success of the project. When team members are spread across different locations, informal interactions are lo...