𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[ACM Press the 2nd ACM SIGSOFT symposium - New Orleans, Louisiana, United States (1994.12.06-1994.12.09)] Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '94 - Correctness and composition of software architectures

✍ Scribed by Moriconi, Mark; Qian, Xiaolei

Book ID
121719978
Publisher
ACM Press
Year
1994
Weight
1010 KB
Category
Article
ISBN-13
9780897916912

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[ACM Press the 2nd ACM SIGSOFT symposium
[ACM Press the 2nd ACM SIGSOFT symposium - New Orleans, Louisiana, United States (1994.12.06-1994.12.09)] Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '94 - LCLint
✍ Evans, David; Guttag, John; Horning, James; Tan, Yang Meng πŸ“‚ Article πŸ“… 1994 πŸ› ACM Press βš– 954 KB

This paper describes LCLlnt, an efficient and flexible tool that accepts as input programs (written in ANSI C) and various levels of formal specification.Using this information, LCLint reports inconsistencies between a program and its specification. We also describe our experience using LCLint to he

[ACM Press the 12th ACM SIGSOFT twelfth
[ACM Press the 12th ACM SIGSOFT twelfth international symposium - Newport Beach, CA, USA (2004.10.31-2004.11.06)] Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering - SIGSOFT '04/FSE-12 - Modular design and verification of component-based mechatronic systems with online-reconfiguration
✍ Giese, Holger; Burmester, Sven; SchοΏ½fer, Wilhelm; Oberschelp, Oliver πŸ“‚ Article πŸ“… 2004 πŸ› ACM Press βš– 439 KB