Search Results for Program Development

19 Results Found

1 2

000000000000DEFAULT

Meta-Programming and Model-Driven Meta-Program Development Principles, Processes and Techniques

Author

Štuikys, Vytautas. author. Damaševičius, Robertas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330912.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4126-6

Format:

Availability

Online Library~1

Available:
Copies:

Rigorous Software Development An Introduction to Program Verification

Author

Almeida, José Bacelar. author. Frade, Maria João. author. Pinto, Jorge Sousa. author. Melo de Sousa, Simão. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-85729-018-2

Format:

Availability

Online Library~1

Available:
Copies:

Automatic Program Development A Tribute to Robert Paige

Author

Danvy, Olivier. editor. Henglein, Fritz. editor. Mairson, Harry. editor. Pettorossi, Alberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-6585-9

Format:

Availability

Online Library~1

Available:
Copies:

Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove

Author

Morazán, Marco T. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Applied Reconfigurable Computing. Architectures, Tools, and Applications 20th International Symposium, ARC 2024, Aveiro, Portugal, March 20-22, 2024, Proceedings

Applied Reconfigurable Computing. Architectures, Tools, and Applications 20th International Symposium, ARC 2024, Aveiro, Portugal, March 20-22, 2024, Proceedings

Author

Skliarova, Iouliia. editor. (orcid)0000-0002-6684-9416 Brox Jiménez, Piedad. editor. (orcid)0000-0003-1059-5338 Véstias, Mário. editor. Diniz, Pedro C. editor. (orcid)0000-0003-3131-9367 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Evolving software processes : trends and future directions

Author

Khan, Arif Ali, editor. Le, Dac-Nhuong, 1983- editor.

Preferred Shelf Number

QA76.76 .D47

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821779

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

Author

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

The Journey to Enterprise Agility Systems Thinking and Organizational Legacy

Author

Kulak, Daryl. author. Li, Hong. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

Author

Cunha, Jácome. editor. Fernandes, João P. editor. Lämmel, Ralf. editor. Saraiva, João. editor. Zaytsev, Vadim. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Concise Guide to Software Engineering From Fundamentals to Application Methods

Author

O'Regan, Gerard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-47169-3

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Author

De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-41591-8

Format:

Availability

Online Library~1

Available:
Copies:

1 2

	{displayName}	{count}
{error}