Sciweavers

3441 search results - page 43 / 689
» Provenance of Software Development Processes
Sort
View
UML
2005
Springer
14 years 3 months ago
Integrated Model-Based Software Development, Data Access, and Data Migration
In this paper we describe a framework for robust system maintenance that addresses specific challenges of data-centric applications. We show that for data-centric applications, cl...
Behzad Bordbar, Dirk Draheim, Matthias Horn, Ina S...
IEEESCC
2006
IEEE
14 years 4 months ago
Develop Service Oriented Finance Business Processes: A Case Study in Capital Market
Current business process development is a process that needs to apply software development principles and at the same time incorporate the special requirements of service oriented...
Aries Tao Tao, Jian Yang
UML
2005
Springer
14 years 3 months ago
Modeling Turnpike: A Model-Driven Framework for Domain-Specific Software Development
This paper overviews the Modeling Turnpike (mTurnpike) project, which investigates a generic model-driven development framework that supports various domain-specific solutions (i.e...
Hiroshi Wada, Jun Suzuki
FM
1998
Springer
153views Formal Methods» more  FM 1998»
14 years 2 months ago
VSE: Controlling the Complexity in Formal Software Developments
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
Dieter Hutter, Heiko Mantel, Georg Rock, Werner St...
ICSE
2004
IEEE-ACM
14 years 10 months ago
Unifying Artifacts and Activities in a Visual Tool for Distributed Software Development Teams
In large projects, software developers struggle with two sources of complexity ? the complexity of the code itself, and the complexity of the process of producing it. Both of thes...
Jon Froehlich, Paul Dourish