Behavioral Types for Embedded Software - A Survey

At present, there is a variety of formalisms for modeling and analyzing the communication behavior of components. Due to a tremendous increase in size and complexity of embedded systems accompanied by shorter time to market cycles and cost reduction, so called behavioral type systems become more and more important. This chapter presents an overview and a taxonomy of behavioral types. The intentions of this taxonomy are to provide a guidance for software engineers and to form the basis for future research.

Globalisation and the technology gap: Regional and time evidence

This chapter examines the relationship between globalisation and technological progress. It computes an annual and country specific measure of technological gap, the technology ratio (TGR), using a recently proposed method known as metafrontiers. The TGR is measured as the distance from a group frontier to the global (or meta) frontier. The TGRs provide a measure to compare technological capability across countries. The ranking obtained from the metafrontiers method is first compared to other methods based on the direct measure of patents, science articles, schooling etc. The TGRs are then related to levels of trade openness and inbound and outbound foreign direct investment within regions and overtime in an effort to identify the relationship between technological gap and outward orientation.