Formal Methods and Software Engineering

- 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

af

indgår i serie Lecture Notes in Computer Science


Studiebog
Formal Methods and Software Engineering
Du sparer Spar kr. 35,00 med Shopping-fordele
  • Leveringstid 2-4 uger
  • Forventet levering 15-10-2021
For at købe bogen til fordelspris skal du have et medlemskab med Shopping-fordele.
Du kan prøve medlemskabet gratis i 30 dage. Medlemskabet fornyes automatisk og kan altid opsiges.
Format:
Bog, paperback
Udgivelsesdato:
08-10-2008
Sprog:
Engelsk
Udgave:
2008 ed..
  • Beskrivelse
  • Yderligere info
  • Anmeldelser

Formal engineering methods are intended to o?er e?ective means for integ- tion of formal methods and practical software development technologies in the context of software engineering. Their purpose is to provide e?ective, rigorous, and systematic techniques for signi?cant improvement of software productivity, quality, and tool supportability. In comparison with formal methods, a distinct feature of formal engineering methods is that they emphasize the importance of the balance between the qualities of simplicity, visualization, and preciseness for practicality. To achieve this goal, formal engineering methods must be - veloped on the basis of both formal methods and existing software technologies in software engineering, and they must serve the improvement of the softwa- engineering process. ICFEM 2008 marks the tenth anniversary of the ?rst ICFEM conference, which was held in Hiroshima in 1997. It aims to bring together researchers and practitioners who are interested in the development and application of formal engineering methods to present their latest work and discuss future research directions. The conference o?ers a great opportunity for researchers in both formal methods and software engineering to exchange their ideas, experience, expectation and to ?nd out whether and how their research results can help advance the state of the art.

Vis mereVis mindre

Udgivelsesdato:
08-10-2008
ISBN13:
9783540881933
Vægt:
635 g
Dybde:
28 mm
Bredde:
155 mm
Højde:
235 mm
Nummer i serien:
5256
Format:
Paperback

Vis mereVis mindre

Vis mereVis mindre

Fandt du ikke hvad du søgte?

Hvis denne bog ikke er noget for dig, kan du benytte kategorierne nedenfor til at finde andre titler. Klik på en kategori for at se lignende bøger.

Velkommen til Saxo – din danske boghandel!

Hos os kan du handle som gæst, Saxo-bruger eller Premium-medlem – du bestemmer helt selv. Skulle du få brug for hjælp, sidder vores kundeservice-team klar ved både telefonerne og tasterne.

Om fordelspriser hos Saxo

For at købe bøger til fordelspris, skal du være medlem af Premium, Premium Shopping eller Premium Studie. De første 30 dage er gratis for nye medlemmer. Medlemskabet fornyes automatisk og kan altid opsiges. Læs mere om fordelene ved vores forskellige medlemskaber her.

Machine Name: SAXO082