Sciweavers

1099 search results - page 48 / 220
» A tool for assisting the understanding and formal developmen...
Sort
View
ANSOFT
2002
100views more  ANSOFT 2002»
13 years 8 months ago
A Formal Object Approach to the Design of ZML
This paper addresses two issues: how formal object modeling techniques facilitate the XML application development and how XML technology helps formal/graphical software design proc...
Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang
CPAIOR
2004
Springer
14 years 21 days ago
Building Models through Formal Specification
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
Gerrit Renker, Hatem Ahriz
IUI
2004
ACM
14 years 2 months ago
An intelligent assistant for interactive workflow composition
Complex applications in many areas, including scientific computations and business-related web services, are created from collections of components to form workflows. In many case...
Jihie Kim, Marc Spraragen, Yolanda Gil
TMRA
2005
Springer
14 years 2 months ago
Collaborative Software Development and Topic Maps
This work-in-progress report subsumes our ongoing research to develop a Topic Maps centric, modularised system which supports collaborative software development by combining the me...
Markus Ueberall, Oswald Drobnik
ICSM
2003
IEEE
14 years 2 months ago
A Framework for Understanding Conceptual Changes in Evolving Source Code
As systems evolve, they become harder to understand because the implementation of concepts (e.g. business rules) becomes less coherent. To preserve source code comprehensibility, ...
Nicolas Gold, Andrew Mohan