ICSE
1993
IEEE-ACM
14 years 1 days ago
1993
IEEE-ACM
Features are often the basic unit of development for a very large software systems and represent long-term efforts, spanning up to several years from inception to actual use. Deve...
ICSE
1993
IEEE-ACM
14 years 1 days ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...
AII
1992
14 years 1 days ago
1992
AII
1992
14 years 1 days ago
1992
Most theoretical models of inductive inference make the idealized assumption that the data available to a learner is from a single and accurate source. The subject of inaccuracies ...
ADAEUROPE
1992
Springer
14 years 1 days ago
1992
Springer
instantiated
FSTTCS
1994
Springer
14 years 1 days ago
1994
Springer
Abstract. This paper surveys work on the synthesis of reactive programs which implement winning strategies in infinite two-person games. The representation of such games by Muller ...
FSTTCS
1994
Springer
14 years 1 days ago
1994
Springer
FSTTCS
1994
Springer
14 years 1 days ago
1994
Springer
We review the past ten years in computational complexity theory by focusing on ten theorems that the author enjoyed the most. We use each of the theorems as a springboard to discus...
EWSPT
1994
Springer
14 years 1 days ago
1994
Springer
Abstract. Interact Intermediate supports goal-directed process modeling in such a way as to maximize the concurrency of activities and to minimize the direct control of humans in t...
EWSPT
1994
Springer
14 years 1 days ago
1994
Springer