1448 search results - page 228 / 290 » From Requirements to Code Revisited |
TIP
2002
13 years 9 months ago
2002
Using an array of photo shots, the concentric mosaic offers a quick way to capture and model a realistic three-dimensional (3-D) environment. In this work, we compress the concentr...
ISSRE
2010
IEEE
13 years 8 months ago
2010
IEEE
—Architecture-based software reliability analysis methods shall help software architects to identify critical software components and to quantify their influence on the system r...
NPC
2010
Springer
13 years 8 months ago
2010
Springer
Java is one of the most popular programming languages in today’s software development, but the adoption of Java in some areas like high performance computing, gaming, and media p...
OOPSLA
2010
Springer
13 years 8 months ago
2010
Springer
Developer testing is a type of testing where developers test their code as they write it, as opposed to testing done by a separate quality assurance organization. Developer testin...
STTT
2010
13 years 8 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...