90 search results - page 12 / 18 » Recovering system specific rules from software repositories |
FOSSACS
2009
Springer
14 years 2 months ago
2009
Springer
Reactive systems, proposed by Leifer and Milner, represent a meta-framework aimed at deriving behavioral congruences for those specification formalisms whose operational semantics...
IUI
2009
ACM
14 years 4 months ago
2009
ACM
When users combine data from multiple sources into a spreadsheet or dataset, the result is often a mishmash of different formats, since phone numbers, dates, course numbers and ot...
DEXAW
2003
IEEE
14 years 1 months ago
2003
IEEE
The Internet has enabled a great amount of information to be readily available and easily accessible. It has promoted several changes in the world, including in the education area...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
Design patterns are solutions to recurring design problems, conceived to increase benefits in terms of reuse, code quality and, above all, maintainability and resilience to change...
UML
2005
Springer
14 years 1 months ago
2005
Springer
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the softwar...