Ausgabe 1/2016
Inhalt (8 Artikel)
Open Access
Research
Distinguishing extended finite state machine configurations using predicate abstraction
Khaled El-Fakih, Nina Yevtushenko, Marius Bozga, Saddek Bensalem
Open Access
Research
A systematic process for obtaining the behavior of context-sensitive systems
Jéssyka Vilela, Jaelson Castro, João Pimentel
Open Access
Research
An extended global software engineering taxonomy
Ricardo Britto, Claes Wohlin, Emilia Mendes
Open Access
Research
A multi-objective test data generation approach for mutation testing of feature models
Rui A. Matnei Filho, Silvia R. Vergilio
Open Access
Research
Correlating automatic static analysis and mutation testing: towards incremental strategies
Cláudio A. Araújo, Marcio E. Delamaro, José C. Maldonado, Auri M. R. Vincenzi
Open Access
Research
Game development software engineering process life cycle: a systematic review
Saiqa Aleem, Luiz Fernando Capretz, Faheem Ahmed
Open Access
Review
Issues on developing interoperable cloud applications: definitions, concepts, approaches, requirements, characteristics and evaluation models
Elias Nogueira, Ana Moreira, Daniel Lucrédio, Vinícius Garcia, Renata Fortes
Open Access
Research
SoftCoDeR approach: promoting Software Engineering Academia-Industry partnership using CMD, DSR and ESE
Joelma Choma, Luciana A. M. Zaina, Tiago S. da Silva