1782 search results - page 14 / 357 » Tool Support for Proof Engineering |
SAC
2009
ACM
14 years 3 months ago
2009
ACM
This paper describes the agentTool Process Editor (APE), an Eclipse plug-in based on the Eclipse Process Framework. The aim of APE is to facilitate the design, verification, and m...
ICSEA
2006
IEEE
14 years 2 months ago
2006
IEEE
— In today software industry defect tracking tools either help to improve an organization’s software development process or an individual’s software development process. No d...
SIGSOFT
2000
ACM
14 years 1 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Graphical models are omnipresent in the software engineering field, but most current graphical modeling languages do not scale with the increasing size and complexity of today...
ICSE
2003
IEEE-ACM
14 years 1 months ago
2003
IEEE-ACM
Architectural considerations play a key role in the success of any software-based development project. Architecture evaluation is an early risk reduction method for identifying ri...