http://www.cnr.it/ontology/cnr/individuo/prodotto/ID277752
1st FME workshop on formal methods in software engineering (FormaliSE 2013) (Contributo in atti di convegno)
- Type
- Label
- 1st FME workshop on formal methods in software engineering (FormaliSE 2013) (Contributo in atti di convegno) (literal)
- Anno
- 2013-01-01T00:00:00+01:00 (literal)
- Alternative label
Gnesi S., Plat N. (2013)
1st FME workshop on formal methods in software engineering (FormaliSE 2013)
in ICSE '13 - 2013 International Conference on Software Engineering, San Francisco, CA, USA, 18-26 May 2013
(literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
- Gnesi S., Plat N. (literal)
- Pagina inizio
- Pagina fine
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
- http://dl.acm.org/citation.cfm?id=2487063 (literal)
- Note
- PuMa (literal)
- ISI Web of Science (WOS) (literal)
- Scopu (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
- CNR-ISTI, Pisa, Italy; West Consulting BV, Delft, The Netherlands. (literal)
- Titolo
- 1st FME workshop on formal methods in software engineering (FormaliSE 2013) (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
- 978-1-4673-3076-3 (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume
- David Notkin, Betty H. C. Cheng, Klaus Pohl (literal)
- Abstract
- After decades of research, and despite significant advancement, formal methods are still not widely used in industrial software development. This may be due to the fact that the formal methods community has not enough focused its attention to software engineering needs, and kits specific role in the software process. At the same time, from a software engineering perspective, there could be a number of fundamental principles that might help to guide the design of formal methods in order to make them more easily applicable in the development of software applications. The main goal of FormaliSE 2013, the FME (Formal Methods Europe; www.fmeurope.org) Workshop on Formal Methods in Software Engineering is to foster integration between the formal methods and the software engineering communities with the purpose to examine the link between the two more carefully than is currently the case. (literal)
- Prodotto di
- Autore CNR
- Insieme di parole chiave
Incoming links:
- Prodotto
- Autore CNR di
- Insieme di parole chiave di