An approach for modeling and detecting software performance antipatterns based on first-order logics (English)
- New search for: Cortellessa, Vittorio
- New search for: Di Marco, Antinisca
- New search for: Trubiani, Catia
- New search for: Cortellessa, Vittorio
- New search for: Di Marco, Antinisca
- New search for: Trubiani, Catia
In:
Software & Systems Modeling
;
13
, 1
;
391-432
;
2012
- Article (Journal) / Electronic Resource
-
Title:An approach for modeling and detecting software performance antipatterns based on first-order logics
-
Contributors:
-
Published in:Software & Systems Modeling ; 13, 1 ; 391-432
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin/Heidelberg
-
Publication date:2012-04-21
-
Size:42 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 13, Issue 1
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
The 2013 “State of the Journal” reportFrance, Robert / Georg, Geri / Rumpe, Bernhard / Schindler, Martin et al. | 2014
- 5
-
Guest editorial to the theme issue on domain-specific modeling in theory and applicationsTolvanen, Juha-Pekka / Rossi, Matti / Gray, Jeff et al. | 2013
- 9
-
Message choreography modelingStefanescu, Alin / Wieczorek, Sebastian / Schur, Matthias et al. | 2012
- 35
-
Effective development of automation systems through domain-specific modeling in a small enterprise contextLeitner, Andrea / Preschern, Christopher / Kreiner, Christian et al. | 2012
- 55
-
Composing domain-specific physical models with general-purpose software modules in embedded control softwareRoo, Arjan / Sözer, Hasan / Akşit, Mehmet et al. | 2012
- 83
-
An ontology-based framework for domain-specific modelingWalter, Tobias / Parreiras, Fernando Silva / Staab, Steffen et al. | 2012
- 109
-
A framework for families of domain-specific modelling languagesBraatz, Benjamin / Brandt, Christoph et al. | 2012
- 133
-
DropsBox: the Dresden Open Software ToolboxAßmann, Uwe / Bartho, Andreas / Bürger, Christoff / Cech, Sebastian / Demuth, Birgit / Heidenreich, Florian / Johannes, Jendrik / Karol, Sven / Polowinski, Jan / Reimann, Jan et al. | 2012
- 171
-
Software and systems modeling with graph transformations theme issue of the Journal on Software and Systems ModelingSchürr, Andy / Rensink, Arend et al. | 2012
- 173
-
From misuse cases to mal-activity diagrams: bridging the gap between functional security analysis and designEl-Attar, Mohamed et al. | 2012
- 191
-
A transformation-based approach to context-aware modellingDegrandsart, Sylvain / Demeyer, Serge / Van den Bergh, Jan / Mens, Tom et al. | 2012
- 209
-
Domain-specific discrete event modelling and simulation using graph transformationLara, Juan / Guerra, Esther / Boronat, Artur / Heckel, Reiko / Torrini, Paolo et al. | 2012
- 239
-
A fundamental approach to model versioning based on graph modifications: from theory to implementationTaentzer, Gabriele / Ermel, Claudia / Langer, Philip / Wimmer, Manuel et al. | 2012
- 273
-
Bridging the gap between formal semantics and implementation of triple graph grammarsGiese, Holger / Hildebrandt, Stephan / Lambers, Leen et al. | 2012
- 301
-
GReTL: an extensible, operational, graph-based transformation languageEbert, Jürgen / Horn, Tassilo et al. | 2012
- 323
-
Graph and model transformation tools for model migrationRose, Louis M. / Herrmannsdoerfer, Markus / Mazanek, Steffen / Van Gorp, Pieter / Buchwald, Sebastian / Horn, Tassilo / Kalnina, Elina / Koch, Andreas / Lano, Kevin / Schätz, Bernhard et al. | 2012
- 361
-
Enhancing the OPEN Process Framework with service-oriented method fragmentsGholami, Mahdi Fahmideh / Sharifi, Mohsen / Jamshidi, Pooyan et al. | 2011
- 391
-
An approach for modeling and detecting software performance antipatterns based on first-order logicsCortellessa, Vittorio / Di Marco, Antinisca / Trubiani, Catia et al. | 2012
- 433
-
Requirements-driven deploymentAli, Raian / Dalpiaz, Fabiano / Giorgini, Paolo et al. | 2012