Sciweavers

3192 search results - page 28 / 639
» A Requirements-Driven Development Methodology
Sort
View
JSS
2002
90views more  JSS 2002»
15 years 1 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»
15 years 6 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»
15 years 6 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»
15 years 5 months 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
15 years 2 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, ...