Sciweavers

3192 search results - page 28 / 639
» A Requirements-Driven Development Methodology
Sort
View
JSS
2002
90views more  JSS 2002»
13 years 8 months ago
Producing reliable software: an experiment
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
Carol Smidts, Xin Huang, James C. Widmaier
HICSS
2003
IEEE
108views Biometrics» more  HICSS 2003»
14 years 1 months ago
Application Generator: A Framework and Methodology for IS Construction
Application generators have been championed because they can be used to shorten a system’s development cycle and therefore lower its development costs. Application generators ar...
Jen-Her Wu, Tse-Chih Hsia, I-Chia Chang, Sun-Jen T...
ER
2004
Springer
144views Database» more  ER 2004»
14 years 2 months ago
AFDM: A UML-Based Methodology for Engineering Intelligent Agents
Agents are a potential technology with many applications. It is urgent to develop appropriate methodologies for the development and deployment of agent-oriented applications. This ...
Yanjun Tong, Gregory M. P. O'Hare, Rem W. Collier
DEXAW
1999
IEEE
94views Database» more  DEXAW 1999»
14 years 29 days ago
Reuse, Validation and Verification of System Development Processes
The wide variety of abstract system development methodologies available includes the waterfall and V models. These models are often too generic and need careful adaptation to suit ...
Peter J. Funk, Ivica Crnkovic
FLAIRS
2000
13 years 10 months ago
Formal Software Development in the Verification Support Environment (VSE)
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...
Dieter Hutter, Georg Rock, Jörg H. Siekmann, ...