1782 search results - page 78 / 357 » Tool Support for Proof Engineering |
140
click to vote
ASWEC
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper presents the framework of a scale-oriented scheme for the presentation and classification of reverse engineered sections of procedural code into objects. The aim is to ...
166
click to vote
PASTE
2005
ACM
15 years 11 months ago
2005
ACM
UML sequence diagrams are commonly used to represent the interactions among collaborating objects. Reverse-engineered sequence diagrams are constructed from existing code, and hav...
154
click to vote
ISTA
2008
15 years 7 months ago
2008
As XML data storage and interchange become ubiquitous, analysts and data engineers increasingly need tools to model their data and map it to XML schemas and to reverse engineer XML...
155
click to vote
KBSE
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper describes a new approach to visualization of scenarios within the use case-based engineering of functional requirements – the so-called Video Camera metaphor. The Vid...
152
click to vote
IROS
2006
IEEE
15 years 11 months ago
2006
IEEE
— This paper introduces the Extensible Agent Behavior Specification Language (XABSL) as a pragmatic tool for engineering the behavior of autonomous agents in complex and dynamic...