Sciweavers

8808 search results - page 396 / 1762
» Process of Software Evolution
Sort
View
UML
2005
Springer
16 years 9 days 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 11 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...
IEEESCC
2006
IEEE
16 years 26 days 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
JSS
2000
86views more  JSS 2000»
15 years 6 months ago
Quantitative analysis of static models of processes
The upstream activities of software development projects are often viewed as both the most important, the least understood, and hence the most problematic. This is particularly no...
Keith Phalp, Martin J. Shepperd
CAISE
2007
Springer
16 years 1 months ago
A weighted coupling metric for business process models
Various efforts recently aimed at the development of quality metrics for process models. In this paper, we propose a new notion of coupling, which has been used successfully in so...
Irene T. P. Vanderfeesten, Jorge Cardoso, Hajo A. ...