Search Results for Software Engineering & Systems Development

31 Results Found

1 2 3

000000000000DEFAULT

Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems

Author

Verhulst, Eric. author. Boute, Raymond T. author. Faria, José Miguel Sampaio. author. Sputh, Bernhard H.C. author. Mezhuyev, Vitaliy. author.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-9736-4

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Agile Processes in Software Engineering and Extreme Programming 24th International Conference on Agile Software Development, XP 2023, Amsterdam, The Netherlands, June 13-16, 2023, Proceedings

Agile Processes in Software Engineering and Extreme Programming 24th International Conference on Agile Software Development, XP 2023, Amsterdam, The Netherlands, June 13-16, 2023, Proceedings

Author

Stettina, Christoph J. editor. Garbajosa, Juan. editor. Kruchten, Philippe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-33976-9

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Product Lifecycle Management. PLM in Transition Times: The Place of Humans and Transformative Technologies 19th IFIP WG 5.1 International Conference, PLM 2022, Grenoble, France, July 10-13, 2022, Revised Selected Papers

Product Lifecycle Management. PLM in Transition Times: The Place of Humans and Transformative Technologies 19th IFIP WG 5.1 International Conference, PLM 2022, Grenoble, France, July 10-13, 2022, Revised Selected Papers

Author

Noël, Frédéric. editor. Nyffenegger, Felix. editor. (orcid) Rivest, Louis. editor. Bouras, Abdelaziz. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-25182-5

Format:

Availability

Online Library~1

Available:
Copies:

Introduction to Software Architecture Innovative Design using Clean Architecture and Model-Driven Engineering

Author

Lano, Kevin. author. Yassipour Tehrani, Sobhan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-44143-1

Format:

Availability

Online Library~1

Available:
Copies:

Applied Technologies 4th International Conference, ICAT 2022, Quito, Ecuador, November 23-25, 2022, Revised Selected Papers, Part I

Author

Botto-Tobar, Miguel. editor. (orcid) Zambrano Vizuete, Marcelo. editor. Montes León, Sergio. editor. Torres-Carrión, Pablo. editor. Durakovic, Benjamin. editor. (orcid)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-24985-3

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

Author

Masci, Paolo. editor. Bernardeschi, Cinzia. editor. Graziani, Pierluigi. editor. Koddenbrock, Mario. editor. Palmieri, Maurizio. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-26236-4

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings

Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings

Author

Ferrari, Alessio. editor. Penzenstadler, Birgit. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-29786-1

Format:

Availability

Online Library~1

Available:
Copies:

Society 5.0 Cyber-Solutions for Human-Centric Technologies

Author

Kravets, Alla G. editor. (orcid)0000-0003-1675-8652 Bolshakov, Alexander A. editor. Shcherbakov, Maxim V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-35875-3

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers

Author

Kaindl, Hermann. editor. Mannion, Mike. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-36597-3

Format:

Availability

Online Library~1

Available:
Copies:

10.

Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences

Author

Cooper, Kendra M. L. editor. Bucchiarone, Antonio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-33338-5

Format:

Availability

Online Library~1

Available:
Copies:

11.

Springer Handbook of Augmented Reality

Author

Nee, Andrew Yeh Ching. editor. Ong, Soh Khim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computing

Author

Nazareth, John Lawrence. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-21762-3

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3

	{displayName}	{count}
{error}