2206 search results - page 107 / 442 » Software Engineering and Modeling Education: Problems and So... |
146
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
The goal of our research is to develop industry-proof software architecture and design metrics. We identify a number of problems that arise in computing software architecture and ...
147
click to vote
ADAEUROPE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
163
click to vote
IDEAL
2005
Springer
15 years 12 months ago
2005
Springer
The design, development, and use of complex systems models raises a unique class of challenges and potential pitfalls, many of which are commonly recurring problems. Over time, res...
165
click to vote
ICFEM
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. We study the problem of generating a database and parameters for a given parameterized SQL query satisfying a given test condition. We introduce a formal background theor...
147
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...