Sciweavers

1755 search results - page 197 / 351
» Symposium on document engineering
Sort
View
CSSE
2008
IEEE
15 years 5 months ago
Lean Implementations of Software Testing Tools Using XML Representations of Source Codes
—By utilizing XML representations of source programs under test, a new approach is proposed to concisely implement some prototypes for TACCLE, a software testing methodology. The...
Yu Xia Sun, Huo Yan Chen, T. H. Tse
IWPC
2007
IEEE
15 years 5 months ago
Mining Software Repositories for Traceability Links
An approach to recover/discover traceability links between software artifacts via the examination of a software system’s version history is presented. A heuristic-based approach...
Huzefa H. Kagdi, Jonathan I. Maletic, Bonita Shari...
QSIC
2007
IEEE
15 years 5 months 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
B
2007
Springer
15 years 5 months ago
Time Constraint Patterns for Event B Development
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
Dominique Cansell, Dominique Méry, Joris Re...
WER
2007
Springer
15 years 5 months ago
A Requirements Management Framework for Privacy Compliance
Compliance with privacy legislation is a primary concern for health care institutions that are building information systems support for their business processes. This paper descri...
Sepideh Ghanavati, Daniel Amyot, Liam Peyton