ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments

Second ACM SIGSOFT/SIGPLAN Symposium on

Second ACM SIGSOFT/SIGPLAN Symposium on Practical Software Development Environments

📂 Article 📅 1986 🏛 IEEE 🌐 English ⚖ 157 KB

[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

[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

Introduction to the Special Section on t

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

✍ Devanbu, Prem; Young, Michal 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 36 KB

[ACM Press the eighteenth ACM SIGSOFT in

[ACM Press the eighteenth ACM SIGSOFT international symposium - Santa Fe, New Mexico, USA (2010.11.07-2010.11.11)] Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE '10 - Developer fluency

✍ Zhou, Minghui; Mockus, Audris 📂 Article 📅 2010 🏛 ACM Press ⚖ 416 KB

[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