Search Results for Engineering design.

137 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 12

000000000000DEFAULTTR

The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering

Yazar

Jureta, Ivan. author.

http://dx.doi.org/10.1007/978-3-319-18821-8

Format:

Electronic Resources

Alıntı:

The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in

Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings

Yazar

Gabmeyer, Sebastian. editor. (orcid)0000-0002-4097-9917

https://doi.org/10.1007/978-3-319-61467-0

Format:

Electronic Resources

Alıntı:

Computer-Aided Engineering (CAD, CAE) and Design. http://scigraph.springernature.com/things/product

Provably Correct Systems

Yazar

Hinchey, Mike. editor.

https://doi.org/10.1007/978-3-319-48628-4

Format:

Electronic Resources

Alıntı:

NASA Monographs in Systems and Software Engineering,

SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings

Yazar

Csöndes, Tibor. editor.

https://doi.org/10.1007/978-3-319-68015-6

Format:

Electronic Resources

Alıntı:

SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest

Bidirectional Transformations International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures

Yazar

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917

https://doi.org/10.1007/978-3-319-79108-1

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

https://doi.org/10.1007/978-3-319-56841-6

Format:

Electronic Resources

Alıntı:

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China

Collaborative Design for Embedded Systems Co-modelling and Co-simulation

Yazar

Fitzgerald, John. editor.

http://dx.doi.org/10.1007/978-3-642-54118-6

Format:

Electronic Resources

Alıntı:

Collaborative Design for Embedded Systems Co-modelling and Co-simulation / Fitzgerald, John. editor.

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Yazar

Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948

https://doi.org/10.1007/978-3-030-04771-9

Format:

Electronic Resources

Alıntı:

Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

https://doi.org/10.1007/978-3-030-02928-9

Format:

Electronic Resources

Alıntı:

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China

10.

Refinement Semantics, Languages and Applications

Yazar

Derrick, John. author.

https://doi.org/10.1007/978-3-319-92711-4

Format:

Electronic Resources

Alıntı:

Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029

11.

Logic Functions and Equations Binary Models for Computer Science

Yazar

Posthoff, Christian. author.

https://doi.org/10.1007/978-3-030-02420-8

Format:

Electronic Resources

Alıntı:

Electrical Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/T24000

12.

Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

Yazar

Li, Xuandong. editor.

http://dx.doi.org/10.1007/978-3-319-25942-0

Format:

Electronic Resources

Alıntı:

Dependable Software Engineering: Theories, Tools, and Applications First International Symposium

Tümünü Seç

1 2 3 4 5 .. 12

137 sonuç bulundu

	{displayName}	{count}
{error}