( en | de | ru )

 

Disambiguierung von "Lindvall, Mikael"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automated Specification Extraction and Analysis with Specstractor.

, , und . SEFM, Volume 10886 von Lecture Notes in Computer Science, Seite 37-53. Springer, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Mikael Simons

Mikael Agopov

Mikael Högqvist

Mikael Vaaraniemi

Mikael Berndtsson

 

Weitere Publikationen von Autoren mit dem selben Namen

Knowledge Management in Software Engineering, , , , , , , und . (2001)Guest Editors' Introduction: Knowledge Management in Software Engineering., und . IEEE Software, 19 (3): 26-38 (2002)Verifying architectural design rules of the flight software product line., , , , und . SPLC, Volume 446 von ACM International Conference Proceeding Series, Seite 161-170. ACM, (2009)An analysis of unit tests of a flight software product line., , , , , , , , und . Sci. Comput. Program., 78 (12): 2360-2380 (2013)Metamorphic Testing for Image-based Calcium Imaging Analysis Pipelines., , , , , , und . MET@ICSE, Seite 53-60. IEEE, (2021)Classifying User Requirements from Online Feedback in Small Dataset Environments using Deep Learning., , , , und . RE, Seite 139-149. IEEE, (2021)The Visibility of Maintenance in Object Models: An Empirical Study., und . ICSM, Seite 54-. IEEE Computer Society, (1998)Application of design for verification with concurrency controllers to air traffic control software., , , , und . ASE, Seite 14-23. ACM, (2005)Agile metamorphic model-based testing., , , , , , und . MET@ICSE, Seite 26-32. ACM, (2016)Diagnosing architectural degeneration., und . SEW, Seite 137. IEEE Computer Society, (2003)