default search action

combined dblp search
author search
venue search
publication search

ask others

2nd F-IDE@FM 2015: Oslo, Norway

> Home > Conferences and Workshops > F-IDE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/DuboisMM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DuboisMM15
Catherine Dubois, Paolo Masci, Dominique Méry:
Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015. EPTCS 187, 2015
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ChaudhariD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChaudhariD15
Dipak L. Chaudhari, Om P. Damani:
Building an IDE for the Calculational Derivation of Imperative Programs. 1-13
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CoutoLHKLT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CoutoLHKLT15
Luís Diogo Couto, Peter Gorm Larsen, Miran Hasanagic, Georgios Kanakis, Kenneth Lausdahl, Peter W. V. Tran-Jørgensen:
Towards Enabling Overture as a Platform for Formal Notation IDEs. 14-27
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Dordowsky15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Dordowsky15
Frank Dordowsky:
An experimental Study using ACSL and Frama-C to formulate and verify Low-Level Requirements from a DO-178C compliant Avionics Project. 28-41
- view
  authority control:
- export record
  dblp key:
  - journals/corr/FuriaPT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FuriaPT15
Carlo A. Furia, Christopher M. Poskitt, Julian Tschannen:
The AutoProof Verifier: Usability by Non-Experts and on Standard Code. 42-55
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KabbaniWPSDSS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KabbaniWPSDSS15
Nabil M. Kabbani, Daniel Welch, Caleb H. Priester, Stephen Schaub, Blair Durkee, Yu-Shan Sun, Murali Sitaraman:
Formal Reasoning Using an Iterative Approach with an Integrated Web IDE. 56-71
- view
  authority control:
- export record
  dblp key:
  - journals/corr/NokovicS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NokovicS15
Bojan Nokovic, Emil Sekerinski:
A Holistic Approach in Embedded System Development. 72-85
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Signoles15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Signoles15
Julien Signoles:
Software Architecture of Code Analysis Frameworks Matters: The Frama-C Example. 86-96

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.