00-METHOD: An 00 Software Production Environment Combining Conventional and Formal Methods — 2013 (Englisch)
Freier Zugriff
- Neue Suche nach: Pastor, Oscar
- Neue Suche nach: Insfrán, Emilio
- Neue Suche nach: Pelechano, Vicente
- Neue Suche nach: Romero, José
- Neue Suche nach: Merseguer, José
- Neue Suche nach: Pastor, Oscar
- Neue Suche nach: Insfrán, Emilio
- Neue Suche nach: Pelechano, Vicente
- Neue Suche nach: Romero, José
- Neue Suche nach: Merseguer, José
In:
Seminal Contributions to Information Systems Engineering
;
139-152
;
2013
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:00-METHOD: An 00 Software Production Environment Combining Conventional and Formal Methods
-
Beteiligte:Pastor, Oscar ( Autor:in ) / Insfrán, Emilio ( Autor:in ) / Pelechano, Vicente ( Autor:in ) / Romero, José ( Autor:in ) / Merseguer, José ( Autor:in )
-
Erschienen in:
-
Ausgabe:2013
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.2013
-
Format / Umfang:14 pages
-
ISBN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
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
-
The CAiSE AdventureBubenko, Janis / Rolland, Colette / Sølvberg, Arne et al. | 2013
- 15
-
Evolution of the CAiSE Author Community: A Social Network AnalysisJarke, Matthias / Pham, Manh Cuong / Klamma, Ralf et al. | 2013
- 35
-
A Natural Language Approach for Requirements EngineeringRolland, C. / Proix, C. et al. | 2013
- 57
-
Conceptual Modeling and Natural Language AnalysisRolland, Colette et al. | 2013
- 63
-
The Three Dimensions of Requirements EngineeringPohl, Klaus et al. | 2013
- 81
-
The Three Dimensions of Requirements Engineering: 20 Years LaterPohl, Klaus / Ulfat-Bunyadi, Nelufar et al. | 2013
- 89
-
Towards a Deeper Understanding of Quality in Requirements EngineeringKrogstie, John / Lindland, Odd Ivar / Sindre, Guttorm et al. | 2013
- 103
-
20 Years of Quality of ModelsKrogstie, John / Sindre, Guttorm / Lindland, Odd Ivar et al. | 2013
- 109
-
MetaEdit+ A Fully Configurable Multi-User and Multi-Tool CASE and CAME EnvironmentKelly, Steven / Lyytinen, Kalle / Rossi, Matti et al. | 2013
- 131
-
MetaEdit+ at the Age of 20Kelly, Steven / Lyytinen, Kalle / Rossi, Matti / Tolvanen, Juha Pekka et al. | 2013
- 139
-
00-METHOD: An 00 Software Production Environment Combining Conventional and Formal MethodsPastor, Oscar / Insfrán, Emilio / Pelechano, Vicente / Romero, José / Merseguer, José et al. | 2013
- 153
-
The Conceptual Model Is The Code. Why Not?Pastor, Oscar / Pelechano, Vicente et al. | 2013
- 161
-
Architecture and Quality in Data WarehousesJarke, Matthias / Jeusfeld, Manfred A. / Quix, Christoph / Vassiliadis, Panos et al. | 2013
- 183
-
Data Warehouse Architecture and Quality: Impact and Open ChallengesJarke, Matthias / Jeusfeld, Manfred A. / Quix, Christoph J. / Vassiliadis, Panos / Vassiliou, Yannis et al. | 2013
- 191
-
Time Constraints in Workflow SystemsEder, Johann / Panagos, Euthimios / Rabinovich, Michael et al. | 2013
- 207
-
Workflow Time Management RevisitedEder, Johann / Panagos, Euthimios / Rabinovich, Michael et al. | 2013
- 215
-
Adaptive and Dynamic Service Composition in eFlowCasati, Fabio / Ilnicki, Ski / Jin, LiJie / Krishnamoorthy, Vasudev / Shan, Ming-Chien et al. | 2013
- 235
-
Promises and Failures of Research in Dynamic Service CompositionCasati, Fabio et al. | 2013
- 241
-
On Structured Workflow ModellingKiepuszewski, Bartek / Hofstede, Arthur Harry Maria ter / Bussler, Christoph J. et al. | 2013
- 257
-
The Structured Phase of ConcurrencyPolyvyanyy, Artem / Bussler, Christoph et al. | 2013
- 265
-
A Requirements-Driven Development MethodologyCastro, Jaelson / Kolp, Manuel / Mylopoulos, John et al. | 2013
- 281
-
The Evolution of TroposMylopoulos, John / Castro, Jaelson / Kolp, Manuel et al. | 2013
- 289
-
The P2P Approach to Interorganizational WorkflowsAalst, Wil M. P. / Weske, Mathias et al. | 2013
- 307
-
Reflections on a Decade of Interorganizational Workflow ResearchAalst, Wil M. P. / Weske, Mathias et al. | 2013
- 315
-
Database Schema Matching Using Machine Learning with Feature SelectionBerlin, Jacob / Motro, Amihai et al. | 2013
- 331
-
Automatch RevisitedMotro, Amihai et al. | 2013
- 335
-
Data Integration under Integrity ConstraintsCalì, Andrea / Calvanese, Diego / Giacomo, Giuseppe / Lenzerini, Maurizio et al. | 2013
- 353
-
Rewrite and Conquer: Dealing with Integrity Constraints in Data IntegrationCalì, Andrea / Calvanese, Diego / Giacomo, Giuseppe / Lenzerini, Maurizio et al. | 2013
- 361
-
Automated Reasoning on Feature ModelsBenavides, David / Trinidad, Pablo / Ruiz-Cortés, Antonio et al. | 2013
- 375
-
Automated Analysis of Stateful Feature ModelsTrinidad, Pablo / Ruiz-Cortés, Antonio / Benavides, David et al. | 2013
- 381
-
Change Patterns and Change Support Features in Process-Aware Information SystemsWeber, Barbara / Rinderle, Stefanie / Reichert, Manfred et al. | 2013
- 397
-
Process Change Patterns: Recent Research, Use Cases, Research DirectionsReichert, Manfred / Weber, Barbara et al. | 2013
- 405
-
Measuring Similarity between Business Process ModelsDongen, Boudewijn / Dijkman, Remco / Mendling, Jan et al. | 2013
- 421
-
A Short Survey on Process Model SimilarityDijkman, Remco M. / Dongen, Boudewijn F. / Dumas, Marlon / García-Bañuelos, Luciano / Kunze, Matthias / Leopold, Henrik / Mendling, Jan / Uba, Reina / Weidlich, Matthias / Weske, Mathias et al. | 2013
- 429
-
How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling NotationMuehlen, Michael zur / Recker, Jan et al. | 2013
- 445
-
We Still Don’t Know How Much BPMN Is Enough, But We Are Getting CloserMuehlen, Michael / Recker, Jan et al. | 2013
- 453
-
The Future of CAiSEKrogstie, John / Pastor, Oscar / Pernici, Barbara et al. | 2013