977 search results - page 110 / 196 » Formal methods integration in software engineering |
182
click to vote
DOLAP
2005
ACM
15 years 6 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 ...
128
click to vote
KBSE
1998
IEEE
15 years 8 months ago
1998
IEEE
Most current object modeling methods and tools have weaknesses both in the concepts of hierarchical decomposition and in the visualization of these hierarchies. Some methods do no...
130
click to vote
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
We describe a simple iterative method for proving a variety of results in combinatorial optimization. It is inspired by Jain’s iterative rounding method (FOCS 1998) for designing...
146
click to vote
ACMSE
2004
ACM
15 years 9 months ago
2004
ACM
Java has emerged as one of the most dynamic programming languages today. During the past eight years it has become a leading choice as the programming language for an introductory...
165
click to vote
CG
2007
Springer
15 years 4 months ago
2007
Springer
In this article we describe an ongoing effort to integrate information visualization techniques into the process of configuration management for software systems. Our focus is to...