8627 search results - page 73 / 1726 » Software Engineering Using RATionale |
ZUM
1994
Springer
14 years 2 months ago
1994
Springer
A critical issuein the designof aprofessionalsoftware engineeringdegreeprogram is the way in which formal methods are integrated into the curriculum. The approach taken by most pr...
INFSOF
2006
13 years 10 months ago
2006
Much research on open source software development concentrates on developer lists and other software repositories to investigate what motivates professional software developers to...
DAGSTUHL
2007
13 years 11 months ago
2007
bstract, rather than through examples. I’d like to see the ability to demonstrate examples in concrete situations, have the system record them, and generalize them to yield a pro...
WSC
2000
13 years 11 months ago
2000
This paper discusses the use of simulation in a new context. Most often QUEST is viewed as a stand-alone simulation tool to analyze and understand shop floor behavior. It has rare...
CCS
2008
ACM
13 years 12 months ago
2008
ACM
The specifications of an application's security configuration are crucial for understanding its security policies, which can be very helpful in security-related contexts such...