1721 search results - page 203 / 345 » Software Reuse: An Overview |
ICFP
2012
ACM
12 years 16 days ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...
INFORMATIKTAGE
2008
13 years 11 months ago
2008
During the last 25 years the complexity and functionality of software systems has increased dramatically. Software systems have to be updated and restructured continuously [22]. I...
VLSID
2001
IEEE
14 years 10 months ago
2001
IEEE
- Wireless distributed microsensor systems will enable fault tolerant monitoring and control of a variety of applications. Due to the large number of microsensor nodes that may be ...
CHI
2004
ACM
14 years 10 months ago
2004
ACM
The globalization of Oracle's development organization, customer base, and product lines has had an ongoing impact on the evolution of the Oracle UI Group (OUI). It has chang...
CADE
2007
Springer
14 years 10 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...