International Symposium on Engineering Secure Software and Systems 2011ESSoS2011: Feb 9, 2011 - Mar 11, 2011 in Madrid, SpainSubmissions: Sep 20, 2010Notification: Nov 12, 2010Call for PapersPrevious EditionsPrevious PublicationsCONTEXT AND MOTIVATION
Trustworthy, secure software is a core ingredient of the modern world. Unfortunately, the Internet is too. Hostile, networked environments, like the Internet, can allow vulnerabilities in software to be exploited from
anywhere. To address this, high-quality security building blocks (e.g., cryptographic components) are n ... Read MoreDependently Typed Programming 2010DTP2010: Jul 9, 2010 - Jul 10, 2010 in Edinburgh, UKSubmissions: Apr 16, 2010Notification: Jun 11, 2010Call for PapersPrevious EditionsPrevious PublicationsDependently typed programming is here today: where will it go tomorrow? On the one hand, dependent type theories have grown programming languages; on the other hand, the type systems of programming languages like Haskell (and even C#) are incorporating some kinds of type-level data.
When types involve data, they can capture relationships bet ... Read MoreInternational Workshop on Model-based Methodologies for Pervasive and Embedded Software 2010MOMPES2010: Sep 20, 2010 - Sep 20, 2010 in Antwerp, BelgiumSubmissions: May 31, 2010Notification: Jun 30, 2010Call for PapersPrevious EditionsPrevious PublicationsModel-Based Development (MBD) comprises approaches to software development, relying on modelling and the systematic transition from models to executable code. This workshop focuses on the theoretical and practical aspects of the adoption of MBD methodologies (notations, processes, methods, and tools) for the construction of software for pervasi ... Read MoreInternational Workshop on Model-Driven Product Line Engineering 2010MDPLE2010: Jun 16, 2010 - Jun 16, 2010 in Paris, FranceSubmissions: Apr 12, 2010Notification: May 4, 2010Call for PapersPrevious EditionsPrevious PublicationsThe fundamental premise of product line engineering (PLE) is that the investment in a family of products pays off later by allowing systematic, efficient derivation of products. This should be automated as much as possible, which can be achieved via model-driven engineering (MDE) techniques.
Research in PLE and MDE has many intersections. PLE ... Read MoreThird Workshop on Transforming and Weaving OWL Ontologies and MDE MDA MDSD 2010TWOMDE2010: Jun 30, 2010 - Jun 30, 2010 in Malaga, SpainSubmissions: Apr 15, 2010Notification: May 14, 2010Call for PapersPrevious EditionsPrevious PublicationsThe interest in integrating Ontologies and Software Engineering has gained more attention with commercial and scientific initiatives. The Semantic Web Best Practice and Deployment Working Group (SWBPD) in W3C included a Software Engineering Task Force (SETF) to explore how Semantic Web and Software Engineering can cooperate. The Object Manageme ... Read MoreBusiness Process Management and Social Software in conjunction with BPM'2010 2010BPMS22010: Sep 13, 2010 - Sep 13, 2010 in Hoboken, New Jersey, USASubmissions: May 21, 2010Notification: Jun 30, 2010Call for PapersPrevious EditionsPrevious PublicationsSocial software is a new paradigm that is spreading quickly in society, organizations and economics. Social software has created a multitude of success stories such as wikipedia.org and the development of the Linux operating system. Therefore, more and more enterprises regard social software as a means for further improvement of their business ... Read MoreSecond Workshop on Service oriented EA for Enterprise Engineering (EDOC'2010) 2010SoEAEE2010: Oct 25, 2010 - Oct 25, 2010 in Vitoria, BrazilSubmissions: Apr 17, 2010Notification: Jun 4, 2010Call for PapersPrevious EditionsPrevious PublicationsThere is a more and more common understanding, that not the ownership of information technology resources but their management is the foundation for sustainable competitive advantage. According to Ross et al., smart companies define how they (will) do business (using an operating model) and design the processes and infrastructure critical to t ... Read MoreRADICAL 2010RADICAL2010: May 10, 2010 - May 11, 2010 in Cambridge, UKSubmissions: Apr 1, 2010Notification: Call for PapersPrevious EditionsPrevious PublicationsRADICAL is a workshop on databases and programming languages, with an emphasis on connections between databases and recent advances in type systems and logics, especially dependent type systems incorporating data constraints.
We aim to cover significant recent developments in directions including (but not limited to) the following:
- Lang ... Read MoreJava Technologies for Real-Time and Embedded Systems 2010JTRES2010: Aug 19, 2010 - Aug 21, 2010 in Prague, Czech RepublicSubmissions: Jun 7, 2010Notification: Jul 5, 2010Call for PapersPrevious EditionsPrevious PublicationsOver 90 percent of all microprocessors are now used for real-time and
embedded applications, and the behavior of many of these applications
is constrained by the physical world. Higher-level programming
languages and middleware are needed to robustly and productively
design, implement, compose, integrate, validate, and enforce
real-time co ... Read MoreWorkshop on Imperfect Information in Software Architecture Design 2010WISAD2010: Aug 23, 2010 - Mar 23, 2010 in Cape Town, South AfricaSubmissions: May 17, 2010Notification: Jun 7, 2010Call for PapersPrevious EditionsPrevious PublicationsThe design of software systems is one of the most complex activities in engineering. And since software systems are expected to fulfil an increasing amount of tasks in more sophisticated environments, software designers are faced with handling daunting amounts of complex information during development. Ideally, all the information that is requ ... Read More