Sciweavers

426 search results - page 39 / 86
» E-AoSAS and its Software Development Environment
Sort
View
129
Voted
APSEC
1997
IEEE
15 years 7 months ago
A Formal Operational Semantics for SOFL
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
Chris Ho-Stuart, Shaoying Liu
IC3
2010
15 years 3 months ago
Re-engineering Machine Translation Systems through Symbiotic Approach
The paper presents a software re-engineering approach that is being used by a consortium of eleven academic institutions facilitated by a software engineering group to re-engineer ...
Pawan Kumar, Rashid Ahmad, A. K. Rathaur, Mukul K....
ICWE
2003
Springer
15 years 8 months ago
Organizing Problem Solving Activities for Synchronous Collaborative Learning of Design Domains
Scientific community is showing a growing interest in Collaborative Systems, although most of developed systems deal with specific applications. This, together with the effort that...
Crescencio Bravo, Miguel A. Redondo, Manuel Ortega...
102
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
A Framework for Component Deployment Testing
Component-based development is the emerging paradigm in software production, though several challenges still slow down its full taking up. In particular, the "component trust...
Antonia Bertolino, Andrea Polini
239
Voted
ACHI
2010
IEEE
15 years 10 months ago
Music Box: An Algorithm for Producing Visual Music
— This research proposes a method for producing music via visual composition in a computer-game like environment. This is accomplished through the development of artificial intel...
Lindsay Grace