1516 search results - page 97 / 304 » Trends in Software Verification |
IWPC
2008
IEEE
14 years 4 months ago
2008
IEEE
The research examines the version histories of nine open source software systems to uncover trends and characteristics of how developers commit source code to version control syst...
APSEC
2007
IEEE
14 years 4 months ago
2007
IEEE
Analyzing accidents is a vital exercise in the development of safety-critical software systems to prevent past accidents from reoccurring in the future. Current practices such as ...
ICSE
2007
IEEE-ACM
14 years 4 months ago
2007
IEEE-ACM
Given the inevitable trends towards increasing complexity of software-intensive systems, many future software-intensive systems will be ultra-large scale (ULS). Radical scale-up o...
GECCO
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The current trend in Embedded Systems (ES) design is moving towards the integration of increasingly complex applications on a single chip. An Embedded System has to satis...
UML
2004
Springer
14 years 3 months ago
2004
Springer
The description of software architectures has always been concerned with the definition of the appropriate languages for designing the various architectural artifacts. Over the pa...