7380 search results - page 1387 / 1476 » Engineering Software Intensive Systems |
144
Voted
IFIP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Applying changes to software engineering processes in organisations usually raises many problems of varying nature. Basing on a real-world 2-year project and a simultaneo...
168
click to vote
DOLAP
2005
ACM
15 years 4 months ago
2005
ACM
Different modeling approaches have been proposed to overcome every design pitfall of the development of the different parts of a data warehouse (DW) system. However, they are all ...
134
Voted
SAC
2010
ACM
15 years 14 days ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
141
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
106
Voted
DAC
2006
ACM
16 years 3 months ago
2006
ACM
Simulation and verification using electronic design automation (EDA) tools are key steps in the design process for communication and signal processing systems. The synchronous dat...