Sciweavers

658 search results - page 25 / 132
» A formal approach to object-oriented software engineering
Sort
View
CSMR
2008
IEEE
15 years 6 months ago
Automatic Support for the Migration Towards Aspects
Aspect Oriented Programming (AOP) has been proposed as a new programming paradigm. The originality in AOP is the aspect, a single modularization unit for all those functionalities...
Mariano Ceccato
ICSE
2000
IEEE-ACM
15 years 3 months ago
A software engineering approach and tool set for developing Internet applications
If a business built a plant to produce products without first designing a process to manufacture them, the risk would be lack of capacity without significant plant redesign. Simil...
David A. Marca, Beth A. Perdue
TOOLS
1997
IEEE
15 years 3 months ago
Mapping the OO-Jacobson Approach into Function Point Analysis
Function Point Analysis measures user requested functionality independent of the technology used for implementation. Software applications are represented stract model that contai...
T. Fetcke, A. Abran, T.-H. Nguyen
APSEC
2004
IEEE
15 years 3 months ago
An Approach to Detecting Domain Errors Using Formal Specification-Based Testing
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...
Yuting Chen, Shaoying Liu
WOSP
2000
ACM
15 years 4 months ago
A pattern-based approach to model software performance
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
José Merseguer, Javier Campos, Eduardo Mena