Zum Inhalt springen

Gheyi, Rohit [Verfasser:in] ; Naumann, David [Sonstige Person, Familie und Körperschaft]

Formal Methods: Foundations and Applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI (Volltext)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer, 2012

Erschienen in: Lecture notes in computer science ; 7498
Medeiros, Flávio [Verfasser:in]; Kästner, Christian [Verfasser:in]; Ribeiro, Márcio [Verfasser:in]; Nadi, Sarah [Verfasser:in]; Gheyi, Rohit [Verfasser:in] ; Flávio Medeiros and Christian Kästner and Márcio Ribeiro and Sarah Nadi and Rohit Gheyi [Mitwirkende:r]

The Love/Hate Relationship with the C Preprocessor: An Interview Study

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Medeiros, Flávio [Verfasser:in]; Kästner, Christian [Verfasser:in]; Ribeiro, Márcio [Verfasser:in]; Nadi, Sarah [Verfasser:in]; Gheyi, Rohit [Verfasser:in] ; Flávio Medeiros and Christian Kästner and Márcio Ribeiro and Sarah Nadi and Rohit Gheyi [Mitwirkende:r]

The Love/Hate Relationship with the C Preprocessor: An Interview Study (Artifact)

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Gheyi, Rohit; Iyoda, Juliano

Selected papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013)

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2015

Erschienen in: Science of Computer Programming, 107-108 (2015), Seite 1
Gheyi, Rohit; Borba, Paulo

Refactoring Alloy Specifications

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2004

Erschienen in: Electronic Notes in Theoretical Computer Science, 95 (2004), Seite 227-243
Teixeira, Leopoldo; Gheyi, Rohit; Borba, Paulo

Lecture Notes in Computer Science: Safe Evolution of Product Lines Using Configuration Knowledge Laws

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2020

Erschienen in: Lecture Notes in Computer Science (2020), Seite 210-227
Medeiros, Flávio; Ribeiro, Márcio; Gheyi, Rohit

Investigating preprocessor-based syntax errors

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2014

Erschienen in: ACM SIGPLAN Notices, 49 (2014) 3, Seite 75-84
Soares, Gustavo; Gheyi, Rohit; Massoni, Tiago

Automated Behavioral Testing of Refactoring Engines

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electrical and Electronics Engineers (IEEE), 2013

Erschienen in: IEEE Transactions on Software Engineering, 39 (2013) 2, Seite 147-162
Borba, Paulo; Teixeira, Leopoldo; Gheyi, Rohit

A theory of software product line refinement

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2012

Erschienen in: Theoretical Computer Science, 455 (2012), Seite 2-30
Massoni, Tiago; Gheyi, Rohit; Borba, Paulo

Lecture Notes in Computer Science: Synchronizing Model and Program Refactoring

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2011

Erschienen in: Lecture Notes in Computer Science (2011), Seite 96-111
Borba, Paulo; Teixeira, Leopoldo; Gheyi, Rohit

Lecture Notes in Computer Science: A Theory of Software Product Line Refinement

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2010

Erschienen in: Lecture Notes in Computer Science (2010), Seite 15-43
Massoni, Tiago; Gheyi, Rohit; Borba, Paulo

A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2008

Erschienen in: Electronic Notes in Theoretical Computer Science, 195 (2008), Seite 189-209
Seater, Robert; Jackson, Daniel; Gheyi, Rohit

Requirement progression in problem frames: deriving specifications from requirements

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2007

Erschienen in: Requirements Engineering, 12 (2007) 2, Seite 77-102
Gheyi, Rohit; Massoni, Tiago; Borba, Paulo

A Static Semantics for Alloy and its Impact in Refactorings

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2007

Erschienen in: Electronic Notes in Theoretical Computer Science, 184 (2007), Seite 209-233
Gheyi, Rohit; Massoni, Tiago; Borba, Paulo

An Abstract Equivalence Notion for Object Models

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2005

Erschienen in: Electronic Notes in Theoretical Computer Science, 130 (2005), Seite 3-21
Soares, Elvys; Ribeiro, Márcio; Gheyi, Rohit; Amaral, Guilherme; Santos, André

Refactoring Test Smells With JUnit 5: Why Should Developers Keep Up-to-Date?

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electrical and Electronics Engineers (IEEE), 2023

Erschienen in: IEEE Transactions on Software Engineering, 49 (2023) 3, Seite 1152-1170
Stolz, Volker; Pun, Violet Ka I; Gheyi, Rohit

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: Refactoring and Active Object Languages

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2020

Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles (2020), Seite 138-158
Medeiros, Flávio; Rodrigues, Iran; Ribeiro, Márcio; Teixeira, Leopoldo; Gheyi, Rohit

An empirical study on configuration-related issues: investigating undeclared and unused identifiers

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2016

Erschienen in: ACM SIGPLAN Notices, 51 (2016) 3, Seite 35-44
Garcia, Alessandro; Gheyi, Rohit; Ribeiro, Marcio; Uchitel, Sebastian

Report on the First PhD and Young Researchers Warm Up Symposium for ICSE 2017

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2015

Erschienen in: ACM SIGSOFT Software Engineering Notes, 40 (2015) 3, Seite 38-38
Mongiovi, Melina; Gheyi, Rohit; Soares, Gustavo; Teixeira, Leopoldo; Borba, Paulo

Making refactoring safer through impact analysis

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2014

Erschienen in: Science of Computer Programming, 93 (2014), Seite 39-64

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr