Sciweavers

1527 search results - page 24 / 306
» From Requirements to Design: Formalizing the Key Steps
Sort
View
IANDC
2006
86views more  IANDC 2006»
13 years 7 months ago
Table design in dynamic programming
Dynamic Programming solves combinatorial optimization problems by recursive decomposition and tabulation of intermediate results. The first step in the design of a dynamic program...
Peter Steffen, Robert Giegerich
CCS
2003
ACM
14 years 28 days 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
ICSE
2003
IEEE-ACM
14 years 7 months ago
Tools for Understanding the Behavior of Telecommunication Systems
Many methods and tools for the reengineering of software systems have been developed so far. However, the domain-specific requirements of telecommunication systems have not been a...
André Marburger, Bernhard Westfechtel
HICSS
2003
IEEE
250views Biometrics» more  HICSS 2003»
14 years 1 months ago
A Method for Demand-Driven Information Requirements Analysis in Data Warehousing Projects
Information requirements analysis for data warehouse systems differs significantly from requirements analysis for conventional information systems. Existing data warehouse specifi...
Robert Winter, Bernhard Strauch
IANDC
2007
81views more  IANDC 2007»
13 years 7 months ago
Some natural conditions on incremental learning
The present study aims at insights into the nature of incremental learning in the context of Gold’s model of identification in the limit. With a focus on natural requirements s...
Sanjay Jain, Steffen Lange, Sandra Zilles