8627 search results - page 457 / 1726 » Software Engineering Using RATionale |
162
click to vote
AMAST
2004
Springer
16 years 8 days ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
152
click to vote
COMPSAC
1996
IEEE
15 years 11 months ago
1996
IEEE
Cohesion was rst developed to predict properties of implementations created from a given design. Unfortunately, cohesion, as originally de ned, could not be objectively assessed, ...
193
click to vote
AI
2002
Springer
15 years 6 months ago
2002
Springer
Program slicing is a general, widely-used, and accepted technique applicable to different software engineering tasks including debugging, whereas model-based diagnosis is an AI te...
179
click to vote
KBSE
2006
IEEE
16 years 26 days ago
2006
IEEE
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
156
click to vote
METRICS
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper investigates commonalities and differences between Agile and Documentation-driven approaches in managing uncertainty in requirement gathering. The research method is a ...