๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Introduction to the Special Section on the ACM SIGSOFT Foundations of Software Engineering Conference

โœ Scribed by Devanbu, Prem; Young, Michal

Book ID
117936941
Publisher
IEEE
Year
2008
Tongue
English
Weight
36 KB
Volume
34
Category
Article
ISSN
0098-5589

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 the 6th joint meeting of
[ACM Press the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium - Dubrovnik, Croatia (2007.09.03-2007.09.07)] Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - ESEC-FSE '07 - From representations to computations
โœ Erenkrantz, Justin R.; Gorlick, Michael; Suryanarayana, Girish; Taylor, Richard ๐Ÿ“‚ Article ๐Ÿ“… 2007 ๐Ÿ› ACM Press โš– 407 KB