Sciweavers

4759 search results - page 158 / 952
» Software Development Based on Software Pattern Evolution
Sort
View
APSEC
2008
IEEE
15 years 5 months ago
A Verification Framework for FBD Based Software in Nuclear Power Plants
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
Junbeom Yoo, Sung Deok Cha, Eunkyoung Jee
PDC
2004
ACM
15 years 8 months ago
Personas is not applicable: local remedies interpreted in a wider context
One of the major problems with participatory design is that it is extremely difficult to apply it to current developments. Software development for the mass market is one aspect o...
Kari Rönkkö, Mats Hellman, Britta Kiland...
ICSE
2007
IEEE-ACM
16 years 3 months ago
Suade: Topology-Based Searches for Software Investigation
The investigation of a software system prior to a modification task often constitutes an important fraction of the overall effort associated with the task. We present Suade, an Ec...
Frédéric Weigand Warr, Martin P. Rob...
153
Voted
ISORC
1999
IEEE
15 years 7 months ago
Applying Use Cases for the Requirements Validation of Component-Based Real-Time Software
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
Wolfgang Fleisch
SEAFOOD
2007
Springer
15 years 9 months ago
Questionnaire-Based Risk Assessment Scheme for Japanese Offshore Software Outsourcing
Abstract. As the volumes of software development increase and the cost reduction is required, most Japanese IT companies are interested in offshore software outsourcing. Although a...
Hiroshi Tsuji, Akito Sakurai, Kenichi Yoshida, Amr...