Designing and managing complex engineering projects over their life cycles.
event
Submitted by Anonymous on Tue, 05/07/2013 - 10:02am
International Workshop on Design and Implementation of Formal Tools and Systems
Portland, OR October 19, 2013
co-located with FMCAD and MEMOCODE
event
Submitted by Anonymous on Tue, 05/07/2013 - 9:46am
forum
Submitted by Anonymous on Tue, 05/07/2013 - 9:37am
FMCAD 2013 - FORMAL METHODS IN COMPUTER-AIDED DESIGN
FINAL CALL FOR PAPERS
International Conference on Formal Methods in Computer-Aided Design
http://www.fmcad.org/FMCAD13
Portland, OR, USA October 20-23, 2013
IMPORTANT DATES
Abstract Submission: May 8
Paper Submission: May 15
Author Notification: July 17
event
Submitted by Anonymous on Fri, 04/19/2013 - 3:39pm
CALL FOR PARTICIPATION: FormaliSE 2013
FME Workshop on Formal Methods in Software Engineering
held in conjunction with ICSE 2013
Saturday 25 May 2013, San Francisco, USA
http://www.formalise.org/
WORKSHOP SCOPE
The software industry has a long-standing and well-earned reputation for failing to deliver on its promises and it is clear that still nowadays, the success of software projects with the current technologies cannot be assured.
event
Submitted by Anonymous on Fri, 04/19/2013 - 3:31pm
forum
Submitted by Anonymous on Fri, 04/19/2013 - 3:04pm
forum
Submitted by Anonymous on Fri, 04/19/2013 - 2:25pm
Call for Papers
SOFTWARE & SYSTEMS ENGINEERING and their APPLICATIONS
Telecom ParisTech, Paris, November 4-6, 2013
Web site : http://icssea.enst.fr
forum
Submitted by Anonymous on Fri, 04/19/2013 - 1:54pm
Call for Papers
MODEL-DRIVEN REQUIREMENTS ENGINEERING (MoDRE) WORKSHOP AT RE 2013
Co-located with the 21st IEEE International Requirements Engineering
Conference in Rio de Janeiro, Brazil, July 15, 2013
http://cserg0.site.uottawa.ca/modre2013
The Third International Model-Driven Requirements Engineering (MoDRE)
workshop continues to provide a forum to discuss the challenges of
event
Submitted by Anonymous on Fri, 04/19/2013 - 1:50pm
MODEL-DRIVEN REQUIREMENTS ENGINEERING (MoDRE) WORKSHOP AT RE 2013
Co-located with the 21st IEEE International Requirements Engineering
Conference in Rio de Janeiro, Brazil, July 15, 2013