13137 search results - page 444 / 2628 » A Science of Software Design |
184
click to vote
RE
1997
Springer
15 years 11 months ago
1997
Springer
The field of requirements engineering emerges out of tradition of research and engineering practice that stresses rtance of generalizations and abstractions. abstraction is essent...
153
Voted
ICSEA
2006
IEEE
16 years 26 days ago
2006
IEEE
The construction and maintenance of large and complex software systems depend on the existence of global principles describing the structure and the interaction among its various ...
179
click to vote
LICS
2006
IEEE
16 years 26 days ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
185
click to vote
OOPSLA
2005
Springer
16 years 10 days ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
195
Voted
ICFP
2010
ACM
15 years 8 months ago
2010
ACM
In 1995, my team and I decided to create an outreach project that would use our research on functional programming to change the K-12 computer science curriculum. We had two diffe...