Studying software evolution using topic models (Englisch)
- Neue Suche nach: Thomas, S. W.
- Neue Suche nach: Adams, B.
- Neue Suche nach: Hassan, A. E.
- Neue Suche nach: Blostein, D.
- Neue Suche nach: Thomas, S. W.
- Neue Suche nach: Adams, B.
- Neue Suche nach: Hassan, A. E.
- Neue Suche nach: Blostein, D.
In:
SCIENCE OF COMPUTER PROGRAMMING
;
80
;
457-479
;
2014
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Studying software evolution using topic models
-
Beteiligte:Thomas, S. W. ( Autor:in ) / Adams, B. ( Autor:in ) / Hassan, A. E. ( Autor:in ) / Blostein, D. ( Autor:in )
-
Erschienen in:SCIENCE OF COMPUTER PROGRAMMING ; 80 ; 457-479
-
Verlag:
- Neue Suche nach: Elsevier Science B.V., Amsterdam.
-
Erscheinungsdatum:01.01.2014
-
Format / Umfang:23 pages
-
ISSN:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 005
- Weitere Informationen zu Dewey Decimal Classification
-
Klassifikation:
DDC: 005 -
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis – Band 80
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Preface: Special section on foundations of coordination languages and software architectures (selected papers from FOCLASA’10)Mousavi, Mohammad Reza / Salaün, Gwen et al. | 2012
- 3
-
A compositional model to reason about end-to-end QoS in Stochastic Reo connectorsMoon, Young-Joo / Silva, Alexandra / Krause, Christian / Arbab, Farhad et al. | 2011
- 25
-
Formal development of wireless sensor–actor networksKamali, Maryam / Laibinis, Linas / Petre, Luigia / Sere, Kaisa et al. | 2012
- 51
-
Brazilian Symposium on Programming Languages (SBLP 2010)Aldrich, Jonathan / Lima, Ricardo Massa Ferreira et al. | 2013
- 52
-
Parallel actor monitors: Disentangling task-level parallelism from data partitioning in the actor modelScholliers, Christophe / Tanter, Éric / De Meuter, Wolfgang et al. | 2013
- 65
-
An object-oriented parallel programming language for distributed-memory parallel computing platformsPinho, Eduardo Gurgel / de Carvalho, Francisco Heron Junior et al. | 2013
- 91
-
Efficient static checker for tainted variable attacksRimsa, Andrei / d’Amorim, Marcelo / Pereira, Fernando Magno Quintão / Bigonha, Roberto S. et al. | 2013
- 107
-
Preface: Special section on formal methods for industrial critical systems (Selected papers from FMICS’11)Salaün, Gwen / Schätz, Bernhard et al. | 2013
- 109
-
Runtime verification of microcontroller binary codeReinbacher, Thomas / Brauer, Jörg / Horauer, Martin / Steininger, Andreas / Kowalewski, Stefan et al. | 2012
- 130
-
Formal analysis of a hardware dynamic task dispatcher with CADPLantreibecq, Etienne / Serwe, Wendelin et al. | 2013
- 150
-
Observations on formal safety analysis in practiceHuhn, Michaela / Milius, Stefan et al. | 2013
- 169
-
A case study on the lightweight verification of a multi-threaded task serverCataño, Néstor / Ahmed, Ijaz / Siminiceanu, Radu I. / Aldrich, Jonathan et al. | 2013
- 188
-
Experiences with formal engineering: Model-based specification, implementation and testing of a software bus at NeopostSijtema, M. / Belinfante, A. / Stoelinga, M.I.A. / Marinelli, L. et al. | 2013
- 211
-
Automated verification of design patterns: A case studyNicholson, Jon / Eden, Amnon H. / Gasparis, Epameinondas / Kazman, Rick et al. | 2013
- 223
-
Static safety guarantees for a low-level multithreaded language with regionsGerakios, Prodromos / Papaspyrou, Nikolaos / Sagonas, Konstantinos et al. | 2013
- 264
-
Specifying safety-critical systems with a decidable duration logicKonur, Savas et al. | 2013
- 288
-
Real-time verification of wireless home networks using bigraphs with sharingCalder, Muffy / Koliousis, Alexandros / Sevegnani, Michele / Sventek, Joseph et al. | 2013
- 311
-
Execution levels for aspect-oriented programming: Design, semantics, implementations and applicationsTanter, Éric / Figueroa, Ismael / Tabareau, Nicolas et al. | 2013
- 343
-
A practical approach for testing timed deterministic finite state machines with single clockEl-Fakih, Khaled / Yevtushenko, Nina / Simao, Adenilso et al. | 2013
- 356
-
Adaptation space exploration for service-oriented applicationsMirandola, Raffaela / Potena, Pasqualina / Scandurra, Patrizia et al. | 2013
- 385
-
Using conditional trace slicing for improving Maude programsAlpuente, María / Ballis, Demis / Frechina, Francisco / Romero, Daniel et al. | 2013
- 416
-
Formal semantics, modular specification, and symbolic verification of product-line behaviourClassen, Andreas / Cordy, Maxime / Heymans, Patrick / Legay, Axel / Schobbens, Pierre-Yves et al. | 2013
- 440
-
Recovering memory access patterns of executable programsKetterlin, Alain / Clauss, Philippe et al. | 2012
- 457
-
Studying software evolution using topic modelsThomas, Stephen W. / Adams, Bram / Hassan, Ahmed E. / Blostein, Dorothea et al. | 2012