Sciweavers

5407 search results - page 328 / 1082
» The Software Engineering Global Model
Sort
View
CBSE
2005
Springer
16 years 9 days ago
Exogenous Connectors for Software Components
In existing component models, control originates in components, and connectors are channels for passing on the control to other components. This provides a mechanism for message pa...
Kung-Kiu Lau, Perla Velasco Elizondo, Zheng Wang
SERP
2007
15 years 8 months ago
Using Constraints with Action Language for Model Evolution
- Since the advent of model driven software engineering (MDSE) it has become necessary to develop techniques and tools for model evolution. In this paper we examine two issues and ...
Shahid Alam, Samuel A. Ajila
APCCM
2008
15 years 8 months ago
Model Eco-Systems: Preliminary Work
Modeling is core software engineering practice. Conceptual models are constructed to establish an abstract understanding of the domain among stakeholders. These are then refined i...
Aditya Ghose, George Koliadis
CSEE
2000
Springer
15 years 11 months ago
Technology Transfer Issues for Formal Methods of Software Specification
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel,...
JLP
2006
155views more  JLP 2006»
15 years 6 months ago
A formally grounded software specification method
One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of...
Christine Choppy, Gianna Reggio