„Electronic data processing“

Suchergebnisse

5.920 Treffer

• Optimization of data-intensive workflows in stream-based data processing models
  Ahmad, Saima Gulzar ; Liew, Chee Sun ; Rafique, M. Mustafa ; Munir, Ehsan Ullah
• Modeling learning technology systems as business systems
  Avgeriou, Paris ; Retalis, Symeon ; Papaspyrou, Nikolaos
• Pattern reification as the basis for description-driven systems
  Estrella, Florida ; Kovács, Zsolt ; Le Goff, Jean-Marie ; McClatchey, Richard ; Solomonides, Tony ; Tóth, Norbert
• Modeling agent organizations using roles
  Odell, James J. ; Van Dyke Parunak, H. ; Fleischer, Mitchell
• Model engineering
• DataMock: An Agile Approach for Building Data Models from User Interface Mockups
  Rivero, José Matías ; Grigera, Julián ; Distante, Damiano ; Montero, Francisco ; Rossi, Gustavo
• SoSyM reflections of 2016: a journal status report
  Georg, Geri ; Gray, Jeff ; Rumpe, Bernhard ; Schindler, Martin
• Introduction to the theme issue on variability modeling of software-intensive systems
  Wąsowski, Andrzej ; Weyer, Thorsten
• Statistical prioritization for software product line testing: an experience report
  Devroey, Xavier ; Perrouin, Gilles ; Cordy, Maxime ; Samih, Hamza ; Legay, Axel ; Schobbens, Pierre-Yves ; Heymans, Patrick
• Empirical assessment of two approaches for specifying software product line use case scenarios
  Bonifácio, Rodrigo ; Borba, Paulo ; Ferraz, Cristiano ; Accioly, Paola
• Analysing the Linux kernel feature model changes using FMDiff
  Dintzner, Nicolas ; Deursen, Arie ˜vanœ ; Pinzger, Martin
• Introduction to the Software Engineering and Formal Methods 2013 special issue
  Bravetti, Mario ; Hierons, Robert M. ; Merayo, Mercedes G.
• Variability testing in the wild: the Drupal case study
  Sanchez, Ana B. ; Segura, Sergio ; Parejo, José A. ; Ruiz-Cortés, Antonio
• An empirical approach toward the resolution of conflicts in goal-oriented models
  Hassine, Jameleddine ; Amyot, Daniel
• Eugenia: towards disciplined and automated development of GMF-based graphical model editors
  Kolovos, Dimitrios S. ; García-Domínguez, Antonio ; Rose, Louis M. ; Paige, Richard F.
• Constraint-based test generation for automotive operating systems
  Choi, Yunja ; Byun, Taejoon
• Analysing the cognitive effectiveness of the WebML visual notation
  Granada, David ; Vara, Juan Manuel ; Brambilla, Marco ; Bollati, Verónica ; Marcos, Esperanza
• Exponential $$H_{\infty }$$ H ∞ Synchronization of Lur’e Complex Dynamical Networks Using Pinning Sampled-Data Control
  Rakkiyappan, R. ; Latha, V. Preethi ; Sivaranjani, K.
• Synthesis of verifiable concurrent Java components from formal models
  Mariño, Julio ; Alborodo, Raúl N. N. ; Fredlund, Lars-Åke ; Herranz, Ángel
• Design patterns for open tool integration
  Karsai, Gábor ; Lang, Andras ; Neema, Sandeep