1601 search results - page 101 / 321 » The affordable application of formal methods to software eng... |
APSEC
1998
IEEE
14 years 1 months ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
ESEM
2007
ACM
14 years 1 months ago
2007
ACM
The static modifier is a convenient way to make class members "global" in object-oriented software systems. Given this, we wondered if static members significantly contr...
ECBS
2006
IEEE
14 years 3 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
JUCS
2008
13 years 9 months ago
2008
: Prediction of the quality attributes of software architectures requires technologies that enable the application of analytic theories to component models. However, available anal...
CC
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. Source code transformations are a very effective method of parallelizing and improving the efficiency of programs. Unfortunately most compiler systems require implementin...