Annals of Software Engineering
Công bố khoa học tiêu biểu
* Dữ liệu chỉ mang tính chất tham khảo
Sắp xếp:
Genetic Algorithms for Project Management
Annals of Software Engineering - Tập 11 - Trang 107-139 - 2001
The scheduling of tasks and the allocation of resource in medium to large-scale
development projects is an extremely hard problem and is one of the principal
challenges of project management due to its sheer complexity. As projects evolve
any solutions, either optimal or near optimal, must be continuously scrutinized
in order to adjust to changing conditions. Brute force exhaustive or
branch-and-b...
Developing parallel object-oriented programs in the framework of VDM
Annals of Software Engineering - Tập 2 - Trang 199-211 - 1996
After surveying the rely-guarantee and some related approaches to extending VDM
to develop parallel programs, two main problems are found. One problem is that
all explorations of parallelism are done in the stage of operation decomposition
or afterwards so that the degree of parallelism is restricted. Another problem
is that the atomicity is fixed at one level and the development complexity can
no...
An environment to support micro-incremental class development
Annals of Software Engineering - Tập 2 - Trang 213-236 - 1996
Incremental development and testing is widely cited as one advantage of the
object-oriented paradigm. To date, most of the work in this area emphasizes
incremental development at the “macro” level, i.e., at the application or class
hierarchy levels. We believe that incremental development should also be
exploited at the individual class level. In particular, classes may contain a
variety of method...
Software development cost estimation approaches — A survey
Annals of Software Engineering - - 2000
This paper summarizes several classes of software cost estimation models and
techniques: parametric models, expertise‐based techniques, learning‐oriented
techniques, dynamics‐based models, regression‐based models, and
composite‐Bayesian techniques for integrating expertise‐based and
regression‐based models. Experience to date indicates that neural‐net and
dynamics‐based techniques are less mature ...
Managing Software Reuse Economics: An Integrated ROI-based Model
Annals of Software Engineering - - 2001
Several cost models have been proposed in the past for estimating, predicting,
and analyzing the costs of software reuse. In this paper we propose an
integrated ROI-based cost model which attempts to encompass existing models. Our
approach is to analyze existing models, identify their dimensions of variance,
classify the models along these dimensions, then provide an integrated cost
model that mak...
Composing, analyzing and validating software models to assess the performability of competing design candidates
Annals of Software Engineering - Tập 8 - Trang 239-287 - 1999
In a perfect world, verification and validation of a software design
specification would be possible before any code was generated. Indeed, in a
perfect world we would know that the implementation was correct because we could
trust the class libraries, the development tools, verification tools and
simulations, etc. These features would provide the confidence needed to know
that all aspects (comple...
Automated class testing using threaded multi-way trees to represent the behaviour of state machines
Annals of Software Engineering - Tập 8 - Trang 203-221 - 1999
Extensive test data is required to demonstrate that “few” errors exist in
software. If the process of software testing could be carried out automatically,
testing efficiency would increase and the cost of software development would be
significantly reduced. In this paper, a tool for detecting errors in object
oriented classes is proposed. The approach uses a state-based testing method.
The method ...
Reuse of early life-;cycle artifacts: workproducts, methods and tools
Annals of Software Engineering - Tập 5 - Trang 227-251 - 1998
In this article we describe the importance of reusing software artifacts
resulting from the earliest stages of the development life-;cycle, i.e.,
software conception, requirements analysis, feasibility study, requirements
specification, architectural and detailed design. Although reuse of early
artifacts is deemed beneficial to software development projects, there are no
readily available software...
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Tập 6 - Trang 365-409 - 1998
This paper analyses current principles of software development: from domains via
requirements to design. On the basis of this analysis we outline a structure and
contents of professional software engineering. From this we extract some
requirements to a university graduate (M.Sc.) curriculum in software
engineering. We summarise the four software engineering axes that we wish to
emphasize in this p...
Tổng số: 139
- 1
- 2
- 3
- 4
- 5
- 6
- 10