Harmony search based remodularization for object-oriented software systems (Englisch)
- Neue Suche nach: Amarjeet
- Neue Suche nach: Chhabra, Jitender Kumar
- Neue Suche nach: Amarjeet
- Neue Suche nach: Chhabra, Jitender Kumar
In:
Computer Languages, Systems and Structures
;
47
;
153-169
;
2016
-
ISSN:
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:Harmony search based remodularization for object-oriented software systems
-
Beteiligte:Amarjeet ( Autor:in ) / Chhabra, Jitender Kumar ( Autor:in )
-
Erschienen in:Computer Languages, Systems and Structures ; 47 ; 153-169
-
Verlag:
- Neue Suche nach: Elsevier Ltd
-
Erscheinungsdatum:18.09.2016
-
Format / Umfang:17 pages
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis – Band 47
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
-
Special issue on the 16th International Conference on Verification, Model Checking, and Abstract InterpretationD׳Souza, Deepak / Lal, Akash et al. | 2016
- 2
-
Horn clause verification with convex polyhedral abstraction and tree automata-based refinementKafle, Bishoksan / Gallagher, John P. et al. | 2015
- 19
-
A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic setsGhorbal, Khalil / Sogokon, Andrew / Platzer, André et al. | 2015
- 44
-
Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programsAdjé, Assalé / Garoche, Pierre-Loïc et al. | 2015
- 62
-
Effective abstractions for verification under relaxed memory modelsDan, Andrei / Meshman, Yuri / Vechev, Martin / Yahav, Eran et al. | 2016
- 77
-
Inference of ranking functions for proving temporal properties by abstract interpretationUrban, Caterina / Miné, Antoine et al. | 2015
- 104
-
An array content static analysis based on non-contiguous partitionsLiu, Jiangchao / Rival, Xavier et al. | 2016
- 131
-
Optimisation of language-integrated queries by query unnestingKowalski, Tomasz Marek / Adamus, Radosław et al. | 2016
- 151
-
Special issue on search-based techniques and their hybridizations in software engineeringMalhotra, Ruchika et al. | 2016
- 153
-
Harmony search based remodularization for object-oriented software systemsAmarjeet / Chhabra, Jitender Kumar et al. | 2016
- 170
-
Refinement of structural heuristics for model checking of concurrent programs through data miningMilewicz, Reed / Pirkelbauer, Peter et al. | 2016
- 189
-
Evolutionary robust optimization for software product line scoping: An explorative studyKarimpour, Reza / Ruhe, Guenther et al. | 2016
- 211
-
Empirical analysis of search based algorithms to identify change prone classes of open source softwareBansal, Ankita et al. | 2016
- I
-
Thank you Reviewers: 2016| 2016