Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 2 of 1251 results
Sort by: relevance publication year
Showing results for ISSN matching 1619-1366

Verifying workflow processes: a transformation-based approach

JOURNAL ARTICLE published May 2011 in Software & Systems Modeling

Authors: Haiping Zha | Wil M. P. van der Aalst | Jianmin Wang | Lijie Wen | Jiaguang Sun

https://doi.org/10.1007/s10270-010-0149-9 Actions

An investigation of the relationship between joint visual attention and product quality in collaborative business process modeling: a dual eye-tracking study

JOURNAL ARTICLE published December 2022 in Software and Systems Modeling

Research funded by The Scientific and Technological Research Council of Turkey (TUBITAK 2211-A)

Authors: Duygu Fındık-Coşkunçay | Murat Perit Çakır

https://doi.org/10.1007/s10270-022-00974-6 Actions

A UML and OWL description of Bunge’s upper-level ontology model

JOURNAL ARTICLE published April 2009 in Software & Systems Modeling

Authors: Joerg Evermann

https://doi.org/10.1007/s10270-008-0082-3 Actions

Describing and assessing availability requirements in the early stages of system development

JOURNAL ARTICLE published October 2015 in Software & Systems Modeling

Authors: Jameleddine Hassine

https://doi.org/10.1007/s10270-013-0382-0 Actions

Classification and trend analysis of UML books (1997–2009)

JOURNAL ARTICLE published May 2012 in Software & Systems Modeling

Authors: Vahid Garousi

https://doi.org/10.1007/s10270-011-0189-9 Actions

From analytical purposes to data visualizations: a decision process guided by a conceptual framework and eye tracking

JOURNAL ARTICLE published May 2020 in Software and Systems Modeling

Research funded by Austrian Science Fund (The Modeling Mind: Behavior Patterns in Process Mo)

Authors: Jens Gulden | Andrea Burattin | Amine A. Andaloussi | Barbara Weber

https://doi.org/10.1007/s10270-019-00742-z Actions

On the relationship between modeling and programming languages

JOURNAL ARTICLE published February 2012 in Software & Systems Modeling

Authors: Bernhard Rumpe | Robert France

https://doi.org/10.1007/s10270-011-0224-x Actions

Early timing analysis based on scenario requirements and platform models

JOURNAL ARTICLE published December 2022 in Software and Systems Modeling

Authors: Jörg Holtmann | Julien Deantoni | Markus Fockel

https://doi.org/10.1007/s10270-022-01002-3 Actions

CaRE: a refinement calculus for requirements engineering based on argumentation theory

JOURNAL ARTICLE published December 2022 in Software and Systems Modeling

Authors: Yehia Elrakaiby | Alexander Borgida | Alessio Ferrari | John Mylopoulos

https://doi.org/10.1007/s10270-021-00943-5 Actions

Language-independent look-ahead for checking multi-perspective declarative process models

JOURNAL ARTICLE published October 2021 in Software and Systems Modeling

Authors: Martin Käppel | Lars Ackermann | Stefan Schönig | Stefan Jablonski

https://doi.org/10.1007/s10270-020-00857-8 Actions

Modularization of model transformations through a phasing mechanism

JOURNAL ARTICLE published July 2009 in Software & Systems Modeling

Authors: Jesús Sánchez Cuadrado | Jesús García Molina

https://doi.org/10.1007/s10270-008-0093-0 Actions

Theme section on performance modelling and engineering of software and systems

JOURNAL ARTICLE published May 2018 in Software & Systems Modeling

Authors: Catalina M. Lladó | Kai Sachs

https://doi.org/10.1007/s10270-017-0624-7 Actions

A simple game-theoretic approach to checkonly QVT Relations

JOURNAL ARTICLE published February 2013 in Software & Systems Modeling

Authors: Perdita Stevens

https://doi.org/10.1007/s10270-011-0198-8 Actions

Guest editorial to the Theme Section on enterprise modelling

JOURNAL ARTICLE published July 2014 in Software & Systems Modeling

Authors: Tony Clark | Florian Matthes | Balbir Barn | Alan Brown

https://doi.org/10.1007/s10270-013-0327-7 Actions

Remarks on Egon Börger: “Approaches to model business processes: a critical analysis of BPMN, workflow patterns and YAWL, SOSYM 11:305–318”

JOURNAL ARTICLE published February 2013 in Software & Systems Modeling

Authors: Wolfgang Reisig

https://doi.org/10.1007/s10270-012-0306-4 Actions

What makes life for process mining analysts difficult? A reflection of challenges

JOURNAL ARTICLE published 17 November 2023 in Software and Systems Modeling

Research funded by Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung (200021 197032)

Authors: Lisa Zimmermann | Francesca Zerbato | Barbara Weber

https://doi.org/10.1007/s10270-023-01134-0 Actions

A systematic approach to constructing families of incremental topology control algorithms using graph transformation

JOURNAL ARTICLE published February 2019 in Software & Systems Modeling

Research funded by Deutsche Forschungsgemeinschaft (DFG CRC 1053 MAKI)

Authors: Roland Kluge | Michael Stein | Gergely Varró | Andy Schürr | Matthias Hollick | Max Mühlhäuser

https://doi.org/10.1007/s10270-017-0587-8 Actions

Modelling on mobile devices

JOURNAL ARTICLE published February 2022 in Software and Systems Modeling

Research funded by Consejería de Educación, Juventud y Deporte, Comunidad de Madrid (FORTE,P2018/TCS-4314) | Ministerio de Ciencia y Tecnología (MASSIVE,RTI2018-095255-B-I00) | H2020 Marie Skłodowska-Curie Actions (813884,Lowcomote)

Authors: Léa Brunschwig | Esther Guerra | Juan de Lara

https://doi.org/10.1007/s10270-021-00897-8 Actions

Reusing semi-specified behavior models in systems analysis and design

JOURNAL ARTICLE published April 2009 in Software & Systems Modeling

Authors: Iris Reinhartz-Berger | Dov Dori | Shmuel Katz

https://doi.org/10.1007/s10270-007-0079-3 Actions

Relational interprocedural verification of concurrent programs

JOURNAL ARTICLE published May 2013 in Software & Systems Modeling

Authors: Bertrand Jeannet

https://doi.org/10.1007/s10270-012-0230-7 Actions
Feedback: support@crossref.org