Sciweavers

1405 search results - page 145 / 281
» Software engineering for and with artists: a case study
Sort
View
KBSE
2007
IEEE
16 years 20 days ago
Extraction of bug localization benchmarks from history
Researchers have proposed a number of tools for automatic bug localization. Given a program and a description of the failure, such tools pinpoint a set of statements that are most...
Valentin Dallmeier, Thomas Zimmermann
FSEN
2009
Springer
15 years 10 months ago
Specification and Validation of Behavioural Protocols in the rCOS Modeler
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
Zhenbang Chen, Charles Morisset, Volker Stolz
COMPSAC
2009
IEEE
15 years 11 months ago
Modeling and Predicting Software Failure Costs
—For software, the costs of failures are not clearly understood. Often, these costs disappear in the costs of testing, the general developments costs, or the operating expenses. ...
Michael Grottke, Christian A. Graf
ACISICIS
2007
IEEE
16 years 22 days ago
Towards Agent Based Web Service
Web Service (WS) technology represents a fundamental shift in the way web applications are developed for e-business. It is becoming the next paradigm to deploy business services o...
Manish Chhabra, Hongen Lu
QSIC
2007
IEEE
16 years 19 days ago
Model Checking Security Pattern Compositions
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
Jing Dong, Tu Peng, Yajing Zhao