2441 search results - page 82 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
78
Voted
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
Reliance on skilled developers reduces the return on investment for important software engineering tasks such as establishing program correctness. This position paper introduces a...
HICSS
1997
IEEE
15 years 3 months ago
1997
IEEE
Business System Engineers, responding to changes in the market place, are faced with the challenge of building increasingly complex and varied systems. Formal approaches and model...
87
Voted
KBSE
2008
IEEE
15 years 5 months ago
2008
IEEE
Requirements analysis is an important phase in a software project. Automatic evaluation of Natural Language (NL) requirements documents has been proposed as a means to improve the...
AMAST
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. In this paper we present the ITP/OCL tool, a rewritingbased tool that supports automatic validation of UML class diagrams with respect to OCL constraints. Its implementat...
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
Editing graphic models always entails layout problems. Inserting and deleting items requires tedious manual work for shifting existing items and rearranging the diagram layout. He...