Sciweavers

7027 search results - page 183 / 1406
» Software process: a roadmap
Sort
View
ICECCS
2005
IEEE
87views Hardware» more  ICECCS 2005»
15 years 5 months ago
Modeling Diverse and Complex Interactions Enabled by Middleware as Connectors in Software Architectures
Middleware enables distributed components to interact with each others in diverse and complex manners. Such interactions should be modeled at architecture level for controlling th...
Yali Zhu
UML
2005
Springer
15 years 5 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 4 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
15 years 5 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
JSS
2000
86views more  JSS 2000»
14 years 11 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