[ACM Press the 10th international workshop - Lisbon, Portugal (2005.09.05-2005.09.06)] Proceedings of the 10th international workshop on Formal methods for industrial critical systems - FMICS '05 - Ten commandments revisited

[ACM Press the 10th international worksh

✍ Bowen, Jonathan P.; Hinchey, Michael G. 📂 Article 📅 2005 🏛 ACM Press 🌐 English ⚖ 289 KB

Ten years ago, our 1995 paper Ten Commandments of Formal Methods [5] suggested some guidelines to help ensure the success of a formal methods project. It proposed ten important requirements (or "commandments") for formal developers to consider and follow, based on our knowledge of several industrial

[ACM Press the 10th European software en

[ACM Press the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium - Lisbon, Portugal (2005.09.05-2005.09.09)] Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-13 - PR-Miner

✍ Li, Zhenmin; Zhou, Yuanyuan 📂 Article 📅 2005 🏛 ACM Press 🌐 English ⚖ 223 KB

Edited By Harald Gall ; Sponsored By Acm Sigsoft And Cepis ; With Corporate Support From Atx Software, Microsoft Portugal, Tap Portugal & Paperdyne ; And Additional Support From The Open University, University Of Zurich, Universidade Nova De Lisboa, Lisbon Tourism & Lisbon Council. Esec/fse 2005 Is

[ACM Press the 10th European software en

[ACM Press the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium - Lisbon, Portugal (2005.09.05-2005.09.09)] Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-13 - Reuse and variability in large software applications

✍ Estublier, Jacky; Vega, German 📂 Article 📅 2005 🏛 ACM Press 🌐 English ⚖ 312 KB

Edited By Harald Gall ; Sponsored By Acm Sigsoft And Cepis ; With Corporate Support From Atx Software, Microsoft Portugal, Tap Portugal & Paperdyne ; And Additional Support From The Open University, University Of Zurich, Universidade Nova De Lisboa, Lisbon Tourism & Lisbon Council. Esec/fse 2005 Is

[ACM Press the 8th IAPR International Wo

[ACM Press the 8th IAPR International Workshop - Boston, Massachusetts (2010.06.09-2010.06.11)] Proceedings of the 8th IAPR International Workshop on Document Analysis Systems - DAS '10 - Gabor features for offline Arabic handwriting recognition

✍ Chen, Jin; Cao, Huaigu; Prasad, Rohit; Bhardwaj, Anurag; Natarajan, Prem 📂 Article 📅 2010 🏛 ACM Press ⚖ 720 KB

[ACM Press the 18th international worksh

[ACM Press the 18th international workshop - Williamsburg, VA, USA (2009.06.03-2009.06.05)] Proceedings of the 18th international workshop on Network and operating systems support for digital audio and video - NOSSDAV '09 - Secure multimedia content delivery with multiparty multilevel DRM architecture

✍ Thomas, Tony; Emmanuel, Sabu; Das, Amitabha; Kankanhalli, Mohan S. 📂 Article 📅 2009 🏛 ACM Press ⚖ 792 KB

[ACM Press the 10th International Worksh

[ACM Press the 10th International Workshop - Copenhagen, Denmark (2012.10.24-2012.10.26)] Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems - JTRES '12 - Safety-critical Java for low-end embedded platforms

✍ Søndergaard, Hans; Korsholm, Stephan E.; Ravn, Anders P. 📂 Article 📅 2012 🏛 ACM Press ⚖ 805 KB

[ACM Press the 10th international workshop - Lisbon, Portugal (2005.09.05-2005.09.06)] Proceedings of the 10th international workshop on Formal methods for industrial critical systems - FMICS '05 - Ten commandments revisited

✦ Synopsis