Sciweavers

1481 search results - page 39 / 297
» Enriching the Software Development Process by Formal Methods
Sort
View
ECOOPW
1998
Springer
15 years 6 months ago
Providing Automatic Support for Heuristic Rules of Methods
In method-based software development, software engineers create artifacts based on the heuristic rules of the adopted method. Most CASE tools, however, do not actively assist soft...
Bedir Tekinerdogan, Mehmet Aksit
UML
2001
Springer
15 years 7 months ago
Estimating Software Development Effort Based on Use Cases-Experiences from Industry
Use case models are used in object-oriented analysis for capturing and describing the functional requirements of a system. Several methods for estimating software development effor...
Bente Anda, Hege Dreiem, Dag I. K. Sjøberg,...
ASWEC
2007
IEEE
15 years 9 months ago
A Formal Model of Service-Oriented Design Structure
—Service-Oriented Computing (SOC) is an emerging paradigm for developing software systems that employ services. Presently there is already much research effort in the areas of se...
Mikhail Perepletchikov, Caspar Ryan, Keith Frampto...
APSEC
2001
IEEE
15 years 6 months ago
Tailoring and Verifying Software Process
Process tailoring and verification are very important since project-specific processes are tailored from an organizational process standard and many quality assurance activities a...
Il-Chul Yoon, Sang-Yoon Min, Doo-Hwan Bae
DOLAP
2005
ACM
15 years 5 months ago
Applying MDA to the development of data warehouses
Different modeling approaches have been proposed to overcome every design pitfall of the development of the different parts of a data warehouse (DW) system. However, they are all ...
Jose-Norberto Mazón, Juan Trujillo, Manuel ...