Designing and managing complex engineering projects over their life cycles.
forum
Submitted by Anonymous on Thu, 12/19/2013 - 3:11pm
Call for Papers
ICECCS 2014
(The 19th IEEE International Conference on Engineering of
Complex Computer Systems)
4-7 August 2014
event
Submitted by Anonymous on Thu, 12/19/2013 - 3:08pm
LASER Summer School on Software Engineering
Leading-Edge Software Engineering
September 7-13, 2014 - Elba Island, Italy
http://laser.inf.ethz.ch/2014/
Application deadline: March 31, 2014
Goals
---------
The LASER summer school, organized by the ETH Chair of Software
Engineering, brings together the concepts and practice of software
event
Submitted by Anonymous on Thu, 12/19/2013 - 3:04pm
SAMOS is a unique conference. It deals with embedded systems (sort of)
but that is not what makes it different.
forum
Submitted by Anonymous on Thu, 12/19/2013 - 3:00pm
====================================================================
Call for Papers - SAMOS XIV
International Conference on Embedded Computer Systems:
Architectures, Modeling, and Simulation (SAMOS XIV)
Samos, Greece, July 14-17, 2014
forum
Submitted by Anonymous on Thu, 12/19/2013 - 2:53pm
Call for Papers: FormaliSE 2014
2nd FME Workshop on Formal Methods in Software Engineering
held in conjunction with ICSE 2014 (May 31th-June 7th)
Hyderabad, India
event
Submitted by Anonymous on Thu, 12/19/2013 - 2:50pm
---------------------------------------------------------------------
&nb
event
Submitted by Anonymous on Thu, 12/19/2013 - 2:34pm
2nd International workshop on the Integration of mixed-criticality subsystems on multi-core and manycore processors
21-22 January 2014
Background
Modern embedded applications typically integrate a multitude of functionalities with potentially different criticality levels into a single system. Without appropriate preconditions, the integration of mixed-criticality subsystems can lead to a significant and potentially unacceptable increase of engineering and certification costs.
forum
Submitted by Anonymous on Thu, 12/19/2013 - 1:57pm
==========================================================================
CALL for PARTICIPATION
==========================================================================
Workshop
Integration of Mixed-Criticality Subsystems on
Multi-Core and Many-Core Processors
https://alfresco.dit.upm.es/multipartes/eventsInfo/HiPEAC2014.html
Vienna, Austria, January 21-22, 2014
event
Submitted by Anonymous on Thu, 12/19/2013 - 1:46pm
4th International ABZ 2014 Conference
ASM, Alloy, B, TLA, VDM, Z
The ABZ 2014 conference is organized in Toulouse
forum
Submitted by Anonymous on Thu, 12/19/2013 - 1:38pm
CALL FOR INDUSTRY TRACK PAPERS
FM2014 is the nineteenth in a series of symposia organized by Formal Methods Europe,
an independent association whose aim is to stimulate the use of, and research on,
formal methods for software development.
