Taxonomic Search: Workshop
Results 1 - 10 of 84
2nd International Workshop on Quantitative Aspects in Security Assurance (QASA 2013)
Affiliated with ESORICS 2013
(Sept. 12-13 2013 RHUL, Egham, U.K.)
International Workshop on Design and Implementation of Formal Tools and Systems
Portland, OR October 19, 2013
co-located with FMCAD and MEMOCODE
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
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.
4th Workshop on Trustworthy Self-Organizing and Autonomous Systems
September 9, 2013, Philadelphia, PA, USA
Affiliated to SASO 2013
Seventh IEEE International Conference on
Self-Adaptive and Self-Organizing Systems
Aim of the Workshop
A workshop of the STAF conferences, focusing on scalability in Model Driven Engineering.
June 17, 2013, Budapest, Hungary.
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
The International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS) 2013 is the 23nd in a series of international workshops. The PATMOS meeting has evolved into a leading scientific event where industry and academia meet to discuss power and timing aspects in modern integrated circuit and system design. Both Universities and Companies are invited to participate.
Workshop on Domain Specific Languages Design and Implementation (DSLDI)
Collocated with ECOOP 2013