Systems that determine, based on the principles of science, engineering and measurement theory, whether an artifact satisfies accepted, well-defined and measurable criteria.
event
Submitted by akarns on Wed, 08/12/2015 - 1:15pm
page
Submitted by Katie Dey on Thu, 07/23/2015 - 1:41pm
event
Submitted by Anonymous on Wed, 07/08/2015 - 5:49pm
17th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2016)
January 17-19, 2016, St. Petersburg, Florida, United States
forum
Submitted by Anonymous on Wed, 07/08/2015 - 5:46pm
17th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2016)
January 17-19, 2016, St. Petersburg, Florida, United States
event
Submitted by Anonymous on Wed, 07/08/2015 - 5:43pm
The 5th International IEEE Workshop on Software Certification (WoSoCer 2015)
November 2-5, 2015, Washington DC, USA
HIGHLIGHTS
forum
Submitted by Anonymous on Wed, 07/08/2015 - 5:38pm
CALL FOR PAPERS
The 5th International IEEE Workshop on Software Certification (WoSoCer 2015)
November 2-5, 2015, Washington DC, USA
HIGHLIGHTS
event
Submitted by Anonymous on Wed, 07/08/2015 - 5:27pm
forum
Submitted by Anonymous on Wed, 07/08/2015 - 5:21pm
forum
Submitted by Anonymous on Mon, 06/29/2015 - 3:43pm
08 June, 2015 | ONERA -- CENTRE DE TOULOUSE | Information Processing and Modelling Department
forum
Submitted by Anonymous on Fri, 06/19/2015 - 1:16pm
12th International Conference on Formal Aspects of Component Software (FACS'15 in Rio)
Rio de Janeiro, Brazi | October 14-16, 2015 | http://facs2015.ic.uff.br
*** Abstract submission deadline: June 22
*** Paper submission deadline: June 28
OVERVIEW AND SCOPE
Component-based software development proposes sound engineering principles and techniques to cope with the complexity of
