Sciweavers

15155 search results - page 404 / 3031
» System Software
Sort
View
ICFEM
2003
Springer
16 years 22 hour ago
Formalization, Testing and Execution of a Use Case Diagram
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...
Wuwei Shen, Shaoying Liu
AGILEDC
2009
IEEE
16 years 1 months ago
Experiences Applying Agile Practices to Large Systems
The software engineering community has documented countless success stories where lean and agile software development practices have rescued failing projects and helped countless ...
Harry Koehnemann, Mark Coats
SAC
2005
ACM
16 years 11 days ago
A strategy for selecting multiple components
This paper presents a systematic method for simultaneously defining a software architecture and selecting off-the-shelf components for reuse. The method builds upon existing tec...
Ed Mancebo, Anneliese Amschler Andrews
DAC
1999
ACM
16 years 7 months ago
Synthesis of Embedded Software Using Free-Choice Petri Nets
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
Marco Sgroi, Luciano Lavagno
HICSS
2007
IEEE
162views Biometrics» more  HICSS 2007»
16 years 1 months ago
The Impact of Service-Oriented Application Development on Software Development Methodology
Web services technology has become a key technology for system integration and the implementation of service-oriented architectures. However, many organizations are still facing c...
Marc N. Haines