Sciweavers

4759 search results - page 459 / 952
» Software Development Based on Software Pattern Evolution
Sort
View
ICSE
2011
IEEE-ACM
14 years 9 months ago
Miler: a toolset for exploring email data
Source code is the target and final outcome of software development. By focusing our research and analysis on source code only, we risk forgetting that software is the product of...
Alberto Bacchelli, Michele Lanza, Marco D'Ambros
BMCBI
2005
106views more  BMCBI 2005»
15 years 6 months ago
A multistep bioinformatic approach detects putative regulatory elements in gene promoters
Background: Searching for approximate patterns in large promoter sequences frequently produces an exceedingly high numbers of results. Our aim was to exploit biological knowledge ...
Stefania Bortoluzzi, Alessandro Coppe, Andrea Biso...
TACAS
2000
Springer
149views Algorithms» more  TACAS 2000»
15 years 10 months ago
Proof General: A Generic Tool for Proof Development
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
David Aspinall
ICDS
2009
IEEE
16 years 1 months ago
PaTac: Urban, Ubiquitous, Personalized Services for Citizens and Tourists
This paper presents the general design of an architecture, based on software agents and oriented to the semantic Web, for the development and deployment of urban, ubiquitous servi...
Luigi Ceccaroni, Victor Codina, Manel Palau, Marc ...
ICFP
2006
ACM
16 years 6 months ago
Type-theoretic design patterns
The development of design patterns in object-oriented programming aims at capturing good software design in a re-usable generic form. However, design patterns are not expressible ...
Ondrej Rypacek, Roland Carl Backhouse, Henrik Nils...