Fifty papers were presented at the symposium held at Tallinn, USSR in May, 1976. Areas covered were industrial process control, real-time operating systems, control of experiments and testing, computer-aided design, c...
详细信息
Fifty papers were presented at the symposium held at Tallinn, USSR in May, 1976. Areas covered were industrial process control, real-time operating systems, control of experiments and testing, computer-aided design, computer programminglanguages and interactive systems.
Fifty papers were presented at the symposium held at Tallinn, USSR in May, 1976. Areas covered were industrial process control, real-time operating systems, control of experiments and testing, computer-aided design, c...
详细信息
Fifty papers were presented at the symposium held at Tallinn, USSR in May, 1976. Areas covered were industrial process control, real-time operating systems, control of experiments and testing, computer-aided design, computer programminglanguages and interactive systems.
Several languages have been developed for or applied to the problem of describing digital hardware systems. This paper points out some of the problems encountered in hardware descriptions, particularly where they are ...
详细信息
A recent experiment at Rand has provided quantitative data on the effect of using different languages for simulating computer systems. The experiment consisted of programming a small simulation of a hypothetical multi...
详细信息
Computer architectures and programminglanguages are traditionally developed independently. Through suitable computer architecture, for instance, one can attempt to speed up the processing of a stream of data and inst...
详细信息
This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included...
详细信息
ISBN:
(数字)9783319152011
ISBN:
(纸本)9783319152004
This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability to Automation, HOFM 2014, the 3rd International symposium on Modelling and Knowledge Management Applications - systems and Domains, MoKMaSD 2014, the 8th International Workshop on Foundations and Techniques for Open Source Software Certification, Open Cert 2014, the 1st Workshop on Safety and Formal Methods, SaFoMe 2014 and the 4th Workshop on Formal Methods in the Development of Software, WS-FMDS 2014.
Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has switched in the last...
详细信息
ISBN:
(数字)9783540396567
ISBN:
(纸本)9783540203032
Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has switched in the last two decades from functional issues to structural issues: both data and functions are enc- sulated into software units that are integrated into large systems by means of various techniques supporting reusability and modi?ability. This encapsulation principleisessentialtoboththeobject-orientedandthemorerecentcompone- based sofware engineering paradigms. Formalmethodshavebeenappliedsuccessfullytotheveri?cationofmedi- sized programs in protocol and hardware design. However, their application to large systems requires the further development of speci?cation and veri?cation techniques supporting the concepts of reusability and modi?ability. In order to bring together researchers and practioners in the areas of so- ware engineering and formal methods, we organized the 1st International S- posium on Formal Methods for Components and Objects (FMCO) in Leiden, The Netherlands, November 5–8, 2002. The program consisted of invited tu- rials and more technical presentations given by leading experts in the ?elds of Theoretical Computer Science and Software Engineering. The symposium was attended by more than 100 people. This volume contains the contributions of the invited speakers to FMCO 2002. We believe that the presented material provides a unique combination of ideas on software engineering and formal methods which we hope will be an inspiration for those aiming at further bridging the gap between the theory and practice of software engineering.
The concept of imbedding a programming language L into a formal system is introduced and used as the basis of defining the semantics φ of the language. φ is an operator which maps a program p in L onto a function. T...
详细信息
With warm-hearted and friendly promotion by our Japanese friends Prof. - sushi Ohori, Prof. Tetsuo Ida, and Prof. Zhenjiang Hu, and other distinguished professors and scholars from countries and regions such as Japan,...
详细信息
ISBN:
(数字)9783540400189
ISBN:
(纸本)9783540205364
With warm-hearted and friendly promotion by our Japanese friends Prof. - sushi Ohori, Prof. Tetsuo Ida, and Prof. Zhenjiang Hu, and other distinguished professors and scholars from countries and regions such as Japan, South Korea, Singapore, and Taiwan, the 1stasiansymposium on programminglanguages andsystems(APLAS2003)***76papers,among which 24 were selected for the proceedings after serious evaluation, which fully demonstrates the high quality of the collected papers. I hereby, on behalf of the Program Committee and the Organization Committee of the symposium, would like to extend the warmest welcome and hearty thanks to all colleagues who attended the symposium, all scholars who generously contributed their papers, and all those who were actively dedicated to the organization of this symposium. Over the past decade, the asian economy has undergone rapid development. Keeping pace with this accelerated economic growth, Asia has made great he- way in software, integrated circuits, mobile communication and the Internet. All this has laid a ?rm material foundation for undertaking theoretical research on computer science and programminglanguages. Therefore, to meet the incr- sing demands of the IT market, great opportunities and challenges in advanced research in these ?elds. I strongly believe that in the coming future, with the persistent e?orts of our colleagues, the asian software industry and research on computer science will be important players in the world economy, on an equal footing with their counterparts in the United states and Europe.
暂无评论