Sciweavers

3192 search results - page 28 / 639
» A Requirements-Driven Development Methodology
Sort
View
137
Voted
JSS
2002
90views more  JSS 2002»
15 years 4 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
121
Voted
HICSS
2003
IEEE
108views Biometrics» more  HICSS 2003»
15 years 10 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 10 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 9 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
152
Voted
FLAIRS
2000
15 years 6 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, ...