Sciweavers

3441 search results - page 43 / 689
» Provenance of Software Development Processes
Sort
View
UML
2005
Springer
15 years 7 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
15 years 8 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
15 years 7 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»
15 years 6 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...
118
Voted
ICSE
2004
IEEE-ACM
16 years 2 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