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

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

“No shit” or “Oh, shit!”: responses to observations on the use of UML in professional practice

JOURNAL ARTICLE published October 2014 in Software & Systems Modeling

Authors: Marian Petre

https://doi.org/10.1007/s10270-014-0430-4 Actions

Guest editorial to the theme issue on domain-specific modeling in theory and applications

JOURNAL ARTICLE published February 2014 in Software & Systems Modeling

Authors: Juha-Pekka Tolvanen | Matti Rossi | Jeff Gray

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

Investigating a file transfer protocol using CSP and B

JOURNAL ARTICLE published July 2005 in Software & Systems Modeling

Authors: Neil Evans | Helen Treharne

https://doi.org/10.1007/s10270-005-0084-3 Actions

Six years of modeling in SoSyM

JOURNAL ARTICLE published 20 November 2007 in Software & Systems Modeling

Authors: Robert France | Bernhard Rumpe

https://doi.org/10.1007/s10270-007-0070-z Actions

Lessons learned from building model-driven development tools

JOURNAL ARTICLE published October 2012 in Software & Systems Modeling

Authors: Richard F. Paige | Dániel Varró

https://doi.org/10.1007/s10270-012-0257-9 Actions

Plug-and-play composition of features and feature interactions with statechart diagrams

JOURNAL ARTICLE published August 2004 in Software & Systems Modeling

Authors: Christian Prehofer

https://doi.org/10.1007/s10270-003-0040-z Actions

Editorial

JOURNAL ARTICLE published 1 March 2003 in Software and Systems Modeling

Authors: Robert France | Bernhard Rumpe

https://doi.org/10.1007/s10270-003-0021-2 Actions

Agile model-based system development

JOURNAL ARTICLE published October 2018 in Software & Systems Modeling

Authors: Jeff Gray | Bernhard Rumpe

https://doi.org/10.1007/s10270-018-0694-1 Actions

Using contexts to extract models from code

JOURNAL ARTICLE published May 2017 in Software & Systems Modeling

Authors: Lucio Mauro Duarte | Jeff Kramer | Sebastian Uchitel

https://doi.org/10.1007/s10270-015-0466-0 Actions

OSTRICH: a rich template language for low-code development (extended version)

JOURNAL ARTICLE published October 2023 in Software and Systems Modeling

Research funded by Agência Nacional de Inovação (GOLEM Lisboa-01- 0247-Feder-045917) | Fundação para a Ciência e a Tecnologia (GOLEM Lisboa-01- 0247-Feder-045917,PTDC/CCI-INF/32081/2017,UIDB/04516/2020)

Authors: Hugo Lourenço | Carla Ferreira | João Costa Seco | Joana Parreira

https://doi.org/10.1007/s10270-022-01066-1 Actions

A methodology for the selection of requirements engineering techniques

JOURNAL ARTICLE published July 2008 in Software & Systems Modeling

Authors: Li Jiang | Armin Eberlein | Behrouz H. Far | Majid Mousavi

https://doi.org/10.1007/s10270-007-0055-y Actions

AuRUS: explaining the validation of UML/OCL conceptual schemas

JOURNAL ARTICLE published May 2015 in Software & Systems Modeling

Authors: Guillem Rull | Carles Farré | Anna Queralt | Ernest Teniente | Toni Urpí

https://doi.org/10.1007/s10270-013-0350-8 Actions

Rigorous design of cyber-physical systems

JOURNAL ARTICLE published June 2019 in Software & Systems Modeling

Authors: Simon Bliudze | Sébastien Furic | Joseph Sifakis | Antoine Viel

https://doi.org/10.1007/s10270-017-0642-5 Actions

Understanding the need for assistance in software modeling: interviews with experts

JOURNAL ARTICLE published February 2024 in Software and Systems Modeling

Authors: Maxime Savary-Leblanc | Xavier Le Pallec | Sébastien Gérard

https://doi.org/10.1007/s10270-023-01104-6 Actions

Scientific workflow execution in the cloud using a dynamic runtime model

JOURNAL ARTICLE published February 2024 in Software and Systems Modeling

Authors: Johannes Erbel | Jens Grabowski

https://doi.org/10.1007/s10270-023-01112-6 Actions

Applying UML/MARTE on industrial projects: challenges, experiences, and guidelines

JOURNAL ARTICLE published October 2015 in Software & Systems Modeling

Authors: Muhammad Zohaib Iqbal | Shaukat Ali | Tao Yue | Lionel Briand

https://doi.org/10.1007/s10270-014-0405-5 Actions

A manifesto for applicable formal methods

JOURNAL ARTICLE published December 2023 in Software and Systems Modeling

Authors: Mario Gleirscher | Jaco van de Pol | Jim Woodcock

https://doi.org/10.1007/s10270-023-01124-2 Actions
Feedback: support@crossref.org