Editorial: special section on formal plus agile methods
Abstract
References
Index Terms
- Editorial: special section on formal plus agile methods
Recommendations
FormSERA workshop on formal methods in software engineering rigorous and agile approaches: 2nd of june 2012 at ICSE'2012 in Zürich (CH)
This report summarizes the activities and results of the FormSERA workshop on Formal Methods in Software Engineering -- Rigorous and Agile Approaches. The workshop took place on the 2nd of June 2012 in Zürich (CH) under the umbrella of the 34th ...
Guest Editorial: Special Section on Outstanding Papers from MobiSys 2012
It gives us great pleasure to introduce this special section on outstanding papers from the ACM MobiSys 2012 conference, for which we were honored to be the program committee cochairs. The conference was held in June 2012 and included 32 high-quality ...
Editorial
The Eleventh ACM SIGPLAN International Conference on Functional Programming (ICFP 2006) took place on September 18–20, 2006 in Portland, Oregon. ICFP 2006 provides a forum for researchers and developers to hear about the latest work on the design, ...
Comments
Information & Contributors
Information
Published In
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Column
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 156Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in