Sciweavers

3819 search results - page 368 / 764
» An Outsourcing Model of Software Development
Sort
View
ICSE
2010
IEEE-ACM
15 years 11 months ago
An empirical study of optimizations in YOGI
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...
Aditya V. Nori, Sriram K. Rajamani
ESEM
2008
ACM
15 years 8 months ago
Iterative identification of fault-prone binaries using in-process metrics
Code churn, the amount of code change taking place within a software unit over time, has been correlated with fault-proneness in software systems. We investigate the use of code c...
Lucas Layman, Gunnar Kudrjavets, Nachiappan Nagapp...
IWPSE
2010
IEEE
15 years 4 months ago
An exercise in iterative domain-specific language design
We describe our experiences with the process of designing a domain-specific language (DSL) and corresponding model transformations. The simultaneous development of the language an...
Marcel van Amstel, Mark van den Brand, Luc Engelen
SIGMOD
2005
ACM
153views Database» more  SIGMOD 2005»
16 years 6 months ago
Tools for composite web services: a short overview
Web services technologies enable flexible and dynamic interoperation of autonomous software and information systems. A central challenge is the development of modeling techniques ...
Richard Hull, Jianwen Su
CSMR
2009
IEEE
15 years 11 months ago
A Tool for Enterprise Architecture Analysis of Maintainability
A tool for Enterprise Architecture analysis using a probabilistic mathematical framework is demonstrated. The Model-View-Controller tool architecture is outlined, he use of the to...
Mathias Ekstedt, Ulrik Franke, Pontus Johnson, Rob...