Sciweavers

1804 search results - page 63 / 361
» Use Cases in Model-Driven Software Engineering
Sort
View
COMPSAC
2002
IEEE
15 years 8 months ago
Hypothesis Testing for Module Test in Software Development
One of the most important issues in the software development is how to guarantee that the software satisfies the quality defined in the requirement specification. This paper pr...
Tsuneo Yamaura, Akira K. Onoma, Wei-Tek Tsai
RE
2009
Springer
15 years 8 months ago
Use Case to Source Code Traceability: The Developer Navigation View Point
Requirements traceability is a challenge for modern software projects where task dependencies and technical experspread across system developers, abstract model representations su...
Inah Omoronyia, Guttorm Sindre, Marc Roper, John D...
116
Voted
WCRE
2000
IEEE
15 years 7 months ago
Reverse Engineering from Assembler to Formal Specifications via Program Transformations
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...
Martin P. Ward
KBSE
2009
IEEE
15 years 10 months ago
A Case for Automated Debugging Using Data Structure Repair
—Automated debugging is becoming increasingly important as the size and complexity of software increases. This paper makes a case for using constraint-based data structure repair...
Muhammad Zubair Malik, Khalid Ghori, Bassem Elkara...
123
Voted
BCSHCI
2007
15 years 5 months ago
Using formal models to design user interfaces: a case study
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...
Judy Bowen, Steve Reeves