4917 search results - page 874 / 984 » Software Engineering is Not Computer Science |
124
click to vote
SIGMOD
1997
ACM
15 years 8 months ago
1997
ACM
Visual Language (VL) system development is getting increasingly sophisticated in part due to the arduous nature of user interface (UI) code development. This typically involves id...
136
click to vote
ACMICEC
2007
ACM
15 years 8 months ago
2007
ACM
Humans are "smart components" in a system, but cannot be directly programmed to perform; rather, their autonomy must be respected as a design constraint and incentives p...
163
click to vote
HIPC
2007
Springer
15 years 8 months ago
2007
Springer
First Come First Served (FCFS) is a policy that is accepted for implementing fairness in a number of application domains such as scheduling in Operating Systems, scheduling web req...
142
click to vote
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
153
click to vote
ASM
2010
ASM
15 years 7 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...