4 search results - page 1 / 1 » Grounding through operationalization: constructing tangible ... |
ECIS
2004
14 years 7 days ago
2004
ASE
2005
13 years 10 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
TEI
2010
ACM
14 years 5 months ago
2010
ACM
Advances in the creation of computational materials are transforming our thinking about relations between the physical and digital. In this paper we characterize this transformati...
HICSS
2003
IEEE
14 years 4 months ago
2003
IEEE
This paper describes the system architecture development process in an international ICT company, which is building a comprehensive e-business system for its customers. The implem...