E-LIB Suche - Ergebnisse für: Nordio, Martin

1

AutoProof: auto-active functional verification of object-or..:

Furia, Carlo A. ; Nordio, Martin ; Polikarpova, Nadia.
International Journal on Software Tools for Technology Transfer. 19 (2016) 6 - p. 697-716 , 2016

Link: https://doi.org/10.1007/..

2

Software Engineering

International Summer Schools, LASER 2013-2014, Elba, Italy,... Lecture Notes in Computer Science ; 8987;SpringerLink, Bücher

Meyer, Bertrand ; Nordio, Martin - 1st ed. 2015 . , 2015

Link: https://doi.org/10.1007/..

3

Automated program repair in an integrated development envir..:

, In: Proceedings of the 37th International Conference on Software Engineering - Volume 2,

Pei, Yu ; Furia, Carlo A. ; Nordio, Martin. - p. 681-684 , 2015

Link: https://dl.acm.org/doi/1..

4

Automated Fixing of Programs with Contracts:

Pei, Yu ; Furia, Carlo A. ; Nordio, Martin...
IEEE Transactions on Software Engineering. 40 (2014) 5 - p. 427-449 , 2014

Link: https://doi.org/10.1109/..

5

AutoProof meets some verification challenges:

Tschannen, Julian ; Furia, Carlo A. ; Nordio, Martin
International Journal on Software Tools for Technology Transfer. 17 (2014) 6 - p. 745-755 , 2014

Link: https://doi.org/10.1007/..

6

3rd international workshop on developing tools as plug-ins ..:

, In: Proceedings of the 2013 International Conference on Software Engineering,

Barnett, Michael ; Nordio, Martin ; Bishop, Judith.. - p. 1555 ff. , 2013

Link: https://dl.acm.org/doi/1..

7

Agile vs. structured distributed software development: A ca..:

Estler, Hans-Christian ; Nordio, Martin ; Furia, Carlo A...
Empirical Software Engineering. 19 (2013) 5 - p. 1197-1224 , 2013

Link: https://doi.org/10.1007/..

8

Tools for Practical Software Verification

LASER, International Summer School 2011, Elba Island, Italy... Lecture Notes in Computer Science ; 7682;SpringerLink, Bücher

Meyer, Bertrand ; Nordio, Martin , 2012

Link: https://doi.org/10.1007/..

9

Empirical Software Engineering and Verification

International Summer Schools, LASER 2008-2010, Elba Island,... Lecture Notes in Computer Science ; 7007;SpringerLink, Bücher

Meyer, Bertrand ; Nordio, Martin , 2012

Link: https://doi.org/10.1007/..

10

Stateful testing : Finding more errors in code and contr..:

, In: Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering,

Wei, Yi ; Roth, Hannes ; Furia, Carlo A.... - p. 440-443 , 2011

Link: https://dl.acm.org/doi/1..

11

Teaching software engineering using globally distributed pr..:

, In: Proceedings of the 2011 Community Building Workshop on Collaborative Teaching of Globally Distributed Software Development,

Nordio, Martin ; Ghezzi, Carlo ; Meyer, Bertrand... - p. 36-40 , 2011

Link: https://dl.acm.org/doi/1..

12

Code-based automated program fixing:

, In: Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering,

Pei, Yu ; Wei, Yi ; Furia, Carlo A... - p. 392-395 , 2011

Link: https://dl.acm.org/doi/1..

13

Advanced hands-on training for distributed and outsourced s..:

, In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1,

Nordio, Martin ; Mitin, Roman ; Meyer, Bertrand - p. 555-558 , 2010

Link: https://dl.acm.org/doi/1..

14

Software Engineering Approaches for Offshore and Outsourced..

Second International Conference, SEAFOOD 2008, Zurich, Swit... SpringerLink, Bücher;Springer eBook Collection, Computer Science

Berkling, Kay ; Joseph, Mathai ; Nordio, Martin... , 2009

Link: http://dx.doi.org/10.100..

15

A Sound and Complete Program Logic for Eiffel:

, In: Objects, Components, Models and Patterns; Lecture Notes in Business Information Processing,

Nordio, Martin ; Calcagno, Cristiano ; Müller, Peter. - p. 195-214 , 2009

Link: https://doi.org/10.1007/..