Sciweavers

2613 search results - page 275 / 523
» Proposal for Tools Supporting Component Based Programming
Sort
View
MSR
2010
ACM
16 years 5 days ago
Finding file clones in FreeBSD Ports Collection
Abstract—In Open Source System (OSS) development, software components are often imported and reused; for this reason we might expect that files are copied in multiple projects (...
Yusuke Sasaki, Tetsuo Yamamoto, Yasuhiro Hayase, K...
IWFM
1998
136views Formal Methods» more  IWFM 1998»
15 years 8 months ago
Translating Structured Database Schemas into Abstract Machines
ing Structured Database Schemas into Abstract Machines Brian Matthews Rutherford Appleton Laboratory, Didcot, OXON, OX11 OQX, U.K. Elvira Locuratolo Istituto di Elaborazione dell&#...
Brian Matthews, Elvira Locuratolo
ICFP
2002
ACM
16 years 7 months ago
Composing monads using coproducts
Monads are a useful abstraction of computation, as they model diverse computational effects such as stateful computations, exceptions and I/O in a uniform manner. Their potential ...
Christoph Lüth, Neil Ghani
FM
2009
Springer
171views Formal Methods» more  FM 2009»
16 years 1 months ago
Formal Management of CAD/CAM Processes
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
Michael Kohlhase, Johannes Lemburg, Lutz Schrö...
IFIP
2010
Springer
15 years 5 months ago
ePAL Vision 2020 for Active Ageing of Senior Professionals
In order to enhance the active life of senior professionals, one fundamental challenge is to identify ways to assist promoting the role of elder people within the continuously agei...
Hamideh Afsarmanesh, Simon Samwel Msanjila