Sciweavers

4759 search results - page 332 / 952
» Software Development Based on Software Pattern Evolution
Sort
View
ICSE
2008
IEEE-ACM
16 years 5 months ago
Symbolic mining of temporal specifications
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
Mark Gabel, Zhendong Su
LCTRTS
2001
Springer
15 years 9 months ago
Embedded Control Systems Development with Giotto
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
Thomas A. Henzinger, Benjamin Horowitz, Christoph ...
CSCWD
2008
Springer
15 years 6 months ago
CEBON: Collaborative estimation based on negotiation
: The Software Engineering community has been trying to get fast and accurate software estimations for many years. Most of the proposed methods require historical information and/o...
Fabian Poblete, José A. Pino, Sergio F. Och...
DEXA
2005
Springer
138views Database» more  DEXA 2005»
15 years 10 months ago
Evolving XML Schemas and Documents Using UML Class Diagrams
The widespread use of XML brings new challenges for its integration into general software development processes. In particular, it is necessary to keep the consistency between diļ¬...
Eladio Domínguez, Jorge Lloret, Angel Luis ...
CCS
2007
ACM
15 years 10 months ago
Predicting vulnerable software components
Where do most vulnerabilities occur in software? Our Vulture tool automatically mines existing vulnerability databases and version archives to map past vulnerabilities to componen...
Stephan Neuhaus, Thomas Zimmermann, Christian Holl...