Sciweavers

10241 search results - page 76 / 2049
» Goal-Driven Software Development
Sort
View
DATE
2005
IEEE
165views Hardware» more  DATE 2005»
14 years 2 months ago
AutoMoDe - Model-Based Development of Automotive Software
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for mode...
Dirk Ziegenbein, Peter Braun 0003, Ulrich Freund, ...
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, ...
CCS
2003
ACM
14 years 2 months ago
Formal access control analysis in the software development process
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
Manuel Koch, Francesco Parisi-Presicce
APSEC
2001
IEEE
14 years 22 days ago
Knowledge Scouts: Reducing Communication Barriers in a Distributed Software Development Project
As a result of globalization, mergers, acquisitions, and scarce skills, software development is increasingly more distributed. Distribution, however, introduces major communicatio...
Allen H. Dutoit, Joyce Johnstone, Bernd Brügg...
CASCON
2006
96views Education» more  CASCON 2006»
13 years 10 months ago
Addressing concurrency in object-oriented software development
E-business software systems are typically incorporated in complex concurrent and interacting business activities. Understanding the concurrent and interactive demands of the enviro...
Jörg Kienzle, Shane Sendall