4917 search results - page 392 / 984 » Software Engineering is Not Computer Science |
129
click to vote
ICFEM
2000
Springer
15 years 7 months ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
144
click to vote
IWSAS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Certain problems in which the environment is not well constrained do not lend themselves to a conventional open loop solution. Image understanding is such a problem domai...
114
click to vote
TAPSOFT
1989
Springer
15 years 7 months ago
1989
Springer
In the 1820's Fourier provided the first algorithm for solving linear arithmetic constraints. In other words, this algorithm determines whether or not the polyhedral set asso...
150
click to vote
C3S2E
2008
ACM
15 years 6 months ago
2008
ACM
This paper considers the problem of integer least squares, where the least squares solution is an integer vector, whereas the coefficient matrix is real. In particular, we discuss...
135
click to vote
FASE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper presents a true-concurrent approach to formalising integration of Small-to-Medium Enterprises (SMEs) with Web services. Our approach formalises common notions ...