Sciweavers

1101 search results - page 17 / 221
» Barbed Model-Driven Software Development: A Case Study
Sort
View
TSE
2011
214views more  TSE 2011»
14 years 4 months ago
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
Moonzoo Kim, Yunho Kim, Hotae Kim
IEEESCC
2006
IEEE
15 years 3 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
MOMPES
2007
IEEE
15 years 3 months ago
Adopting Computational Independent Models for Derivation of Architectural Requirements of Software Product Lines
The alignment of the software architecture and the functional requirements of a system is a demanding task because of the difficulty in tracing design elements to requirements. Th...
Alexandre Bragança, Ricardo Jorge Machado
SAC
2008
ACM
14 years 9 months ago
Collaborative software engineering on large-scale models: requirements and experience in ModelBus
This work presents an approach for realizing Model-Driven software engineering in the distributed and multi-developers context. It particularly focuses on the scalability problems...
Prawee Sriplakich, Xavier Blanc, Marie-Pierre Gerv...
75
Voted
ICSM
2002
IEEE
15 years 2 months ago
A Case Study of Unanticipated Incremental Change
Incremental changes add new functionality and properties to software. They are the core of software evolution, maintenance, iterative development, agile development, and similar s...
Václav Rajlich, Prashant Gosavi