Search Results for Family.

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

Yazar

Combemale, Benoît. editor.

http://dx.doi.org/10.1007/978-3-319-11245-9

Format:

Electronic Resources

Alıntı:

Notation -- A Metamodel Family for Role-Based Modeling and Programming Languages -- AIOCJ: A Choreographic

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Yazar

Gnesi, Stefania. editor.

http://dx.doi.org/10.1007/978-3-642-54804-8

Format:

Electronic Resources

Alıntı:

Systems -- Family-Based Performance Analysis of Variant-Rich Software Systems -- Touch Cost: Cost Analysis

Modelling and Verification of Secure Exams

Yazar

Giustolisi, Rosario. author.

https://doi.org/10.1007/978-3-319-67107-9

Format:

Electronic Resources

Alıntı:

cryptographic building blocks and some security considerations. Chapter 6 focuses on WATA, a family of

Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Yazar

Stevens, Perdita. editor.

http://dx.doi.org/10.1007/978-3-662-49665-7

Format:

Electronic Resources

Alıntı:

Self-Adaptive Systems -- Family-Based Modeling and Analysis for Probabilistic Systems – Featuring ProFeat

Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Yazar

Huisman, Marieke. editor.

https://doi.org/10.1007/978-3-662-54494-5

Format:

Electronic Resources

Alıntı:

development of GUIs for research prototype tools -- Software Product Lines -- Family-Based Model Checking with

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi

Yazar

Iida, Shusaku. editor.

http://dx.doi.org/10.1007/978-3-642-54624-2

Format:

Electronic Resources

Alıntı:

k-ary Grid Graph Models of Tabular Forms -- Everlasting Challenges with the OBJ Language Family

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Yazar

Lutz, Carsten. editor.

https://doi.org/10.1007/978-3-030-22102-7

Format:

Electronic Resources

Alıntı:

Reason with E-Matchers? -- Pseudo-contractions as gentle repairs -- FunDL: A Family of Feature-Based

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

Yazar

Legay, Axel. editor.

https://doi.org/10.1007/978-3-662-54577-5

Format:

Electronic Resources

Alıntı:

Learning Algorithm for Buchi Automata based on Family of DFAs and Classification Trees -- Synthesis

	{displayName}	{count}
{error}