3045 search results - page 116 / 609 » Formal Approaches to Software Architecture |
75
Voted
ICSE
2004
IEEE-ACM
15 years 11 months ago
2004
IEEE-ACM
In service-oriented computing, services are dynamically built as an assembly of pre-existing, independently developed, network accessible services. Hence, predicting as much as pos...
ACSD
2001
IEEE
15 years 2 months ago
2001
IEEE
Synchronous languages allow a high level, concurrent, and deterministic description the behavior of reactive systems. Thus, they can be used advantageously for the programming of ...
177
click to vote
POPL
2008
ACM
15 years 11 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
APSEC
2005
IEEE
15 years 4 months ago
2005
IEEE
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the speci...
GECCO
2006
Springer
15 years 2 months ago
2006
Springer
Achieving a high quality and cost-effective tests is a major concern for software buyers and sellers. Using tools and integrating techniques to carry out low cost testing are chal...