Systems that determine, based on the principles of science, engineering and measurement theory, whether an artifact satisfies accepted, well-defined and measurable criteria.
forum
Submitted by Anonymous on Tue, 02/04/2014 - 2:23pm
Embedded Software Engineering (ESE) track at
40th EUROMICRO CONFERENCE on
Software Engineering and Advanced Applications (SEAA)
Verona, Italy, August 27-29, 2014
http://esd.scienze.univr.it/dsd-seaa-2014/?page_id=25
===========================================================================
IMPORTANT DATES:
event
Submitted by Anonymous on Fri, 01/10/2014 - 11:58am
Embedded Systems Week (ESWEEK) is the premier event covering all aspects of embedded systems and software. By bringing together three leading conferences (CASES, CODES+ISSS, and EMSOFT), two symposia (ESTIMedia and RSP) and several workshops and tutorials, ESWeek allows attendees to benefit from a wide range of topics covering the state of the art in embedded systems research and development.
forum
Submitted by Anonymous on Wed, 01/08/2014 - 2:41pm
Call for Papers: FormaliSE 2014
2nd FME Workshop on Formal Methods in Software Engineering
to be held on June 3th 2014 in conjunction with ICSE 2014 (May 31th-June 7th), in Hyderabad, India
http://www.formalise.org/
INTRODUCTION
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.
