An approach to high-level behavioral program documentation allowing lightweight verification

IEEE International Conference on Program Comprehension

Volumn 2006, Issue , 2006, Pages 202-211

  De Roover, Coen ^a   Michiels, Isabel ^a   Gybels, Kim ^a   Gybels, Kris ^a   D'Hondt, Theo ^a  

^a VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIORAL PROGRAM MODELS; HUMAN-READABLE MODEL; LIGHTWEIGHT VERIFICATION; OPTIMAL TRANSFER;

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE MAINTENANCE; KNOWLEDGE ACQUISITION; MATHEMATICAL MODELS; PROGRAM INTERPRETERS; SOFTWARE ENGINEERING;

PROGRAM DOCUMENTATION;

EID: 33845422562     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICPC.2006.10     Document Type: Conference Paper

References (14)

1. B. Adams and T. Tourwé. Aspect-Orientation in C: Express Yourself. In Proc. of the AOSD Worksh. on Software-engineering Properties of Languages for Aspect Technologies (SPLAT05), 2005.
2. M. Auguston. Building Program Behavior Models. In Proc. of the European Conf. on Artificial Intelligence Worksh. on Spatial and Temporal Reasoning (ECAI98), pages 19-26, 1998.
3. K. Beck. Test Driven Development: By Example. Addison-Wesley, 2003.
4. C. Brzoska. Temporal Logic Programming with Metric and Past Operators. In Proc. of the Worksh. on Executable Modal and Temporal Logics, pages 21-39, 1995.
5. E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic Verification of Finite-State Concurrent Systems using Temporal Logic Specifications. ACM. Transactions on Programming Languages and Systems (TOPLAS86), 8(2):244-263, 1986.
6. P. Cousot and R. Cousot. On Abstraction in Software Verification. In Proc. of the 14th Intl. Conf. on Computer Aided Verification (CAV 2002), volume 2404 of Lecture Notes in Computer Science, pages 37-56, 2002.
7. M. B. Dwyer, G. S. Avrunin, and J. C. Corbett. Patterns in Property Specifications for Finite-State Verification. In Proc. of the 21st Intl. Conf. on Software Engineering (ICSE99), pages 411-420, 1999.
8. M. Felder and A. Morzenti. Validating real-time systems by history-checking trio specifications. ACM Trans. Softw. Eng. Methodol., 1994.
9. P. Flach. Simply Logical John Wiley, 1994.
10. W. D. Meuter, T. D'Hondt, and J. Dedecker. Pico: Scheme for Mere Mortals. In Online Proc. of the 1st European Lisp and Scheme Worksh., 2004.
11. M. A. Orgun and W. Ma. An Overview of Temporal and Modal Logic Programming. In Proc. of the 1st Intl. Conf. on Temporal Logic (ICTL94), pages 445-479, 1994.
12. V. Stolz and E. Bodden. Temporal Assertions using AspectJ. In Proc. of the 5th Intl. Worksh. on Run-time Verification (RV05), 2005.
13. K. Templer and C. Jeffery. A Configurable Automatic Instrumentation Tool for ANSI C. In Proc. of the 13th IEEE Intl. Conf. on Automated Software Engineering (ASE98), page 249, 1998.
14. H. Yin and J. M. Bieman. Improving Software Testability with Assertion Insertion. In Proc. of the Int. Testing Conference, 1994.