Search Results for Software Design.

1.

Software Engineering Techniques: Design for Quality

Author

Sacha, Krzysztof. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-39388-9

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Author

Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Author

Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334688.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Multicore Systems On-Chip: Practical Software/Hardware Design 2nd Edition

Author

Ben Abdallah, Abderazek. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336495.1)

Electronic Access

http://dx.doi.org/10.2991/978-94-91216-92-3

Format:

Availability

Online Library~1

Available:
Copies:

5.

Hardware/Software Co-design for Heterogeneous Multi-core Platforms The hArtes Toolchain

Author

Bertels, Koen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-1406-9

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Author

Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for SynDEVS Co-Design Flow A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation

SynDEVS Co-Design Flow A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation

Author

Molter, H. Gregor. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-658-00397-5

Format:

Availability

Online Library~1

Available:
Copies:

8.

Design of multithreaded software the entity-life modeling approach

Author

Sandén, Bo. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381797

Format:

Availability

Online Library~1

Available:
Copies:

9.

New Frontiers in Information and Software as Services Service and Application Design Challenges in the Cloud

Author

Agrawal, Divyakant. editor. Candan, K. Selçuk. editor. Li, Wen-Syan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-19294-4

Format:

Availability

Online Library~1

Available:
Copies:

10.

Computer Science and Educational Software Design A Resource for Multidisciplinary Work in Technology Enhanced Learning

Author

Tchounikine, Pierre. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Author

Bernardo, Marco. editor. Issarny, Valérie. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-21455-4

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Author

Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

A Process Algebraic Approach to Software Architecture Design

Author

Aldini, Alessandro. author. Bernardo, Marco. author. Corradini, Flavio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-223-4

Format:

Availability

Online Library~1

Available:
Copies:

14.

Multicore Systems On-Chip: Practical Software/Hardware Design

Author

Abdallah, Abderazek Ben. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.2991/978-94-91216-33-6

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Author

Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01918-0

Format:

Availability

Online Library~1

Available:
Copies:

16.

Hardware Software Co-Design of a Multimedia SOC Platform

Author

Chen, Sao-Jie. author. Lin, Guang-Huei. author. Hsiung, Pao-Ann. author. Hu, Yu-Hen. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9623-5

Format:

Availability

Online Library~1

Available:
Copies:

17.

Farbe im Digitalen Publizieren Konzepte der digitalen Farbwiedergabe für Office, Design und Software

Author

Simon, Klaus. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-37329-2

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Author

Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-68894-5

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

Author

Bernardo, Marco. editor. Hillston, Jane. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-72522-0

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

Author

Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11757283

Format:

Availability

Online Library~1

Available:
Copies:

21.

Software Engineering 3 Domains, Requirements, and Software Design

Author

Bjøner, Dines. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-33653-2

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems

Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems

Author

Lanza, Michele. author. Marinescu, Radu. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-39538-5

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Author

Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b135888

Format:

Availability

Online Library~1

Available:
Copies:

24.

Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA

Author

Barth, Timothy J. editor. Griebel, Michael. editor. Keyes, David E. editor. Nieminen, Risto M. editor. Roose, Dirk. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138692

Format:

Availability

Online Library~1

Available:
Copies:

25.

A Concise Introduction to Software Engineering With Open Source and GenAI

Author

Jalote, Pankaj. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers

Author

Cai, Zhiping. editor. (orcid)0000-0001-5726-833X Xiao, Mingyu. editor. Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-7743-7

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Author

Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

The French School of Programming

Author

Meyer, Bertrand. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-34518-0

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Creativity in Intelligent Technologies and Data Science Second Conference, CIT&DS 2017, Volgograd, Russia, September 12-14, 2017, Proceedings

Creativity in Intelligent Technologies and Data Science Second Conference, CIT&DS 2017, Volgograd, Russia, September 12-14, 2017, Proceedings

Author

Kravets, Alla. editor. Shcherbakov, Maxim. editor. Kultsova, Marina. editor. Groumpos, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-65551-2

Format:

Availability

Online Library~1

Available:
Copies:

31.

DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings

Author

Brijder, Robert. editor. Qian, Lulu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66799-7

Format:

Availability

Online Library~1

Available:
Copies:

32.

Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools

Author

Mahmood, Zaigham. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings

Author

Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Programming Languages and Systems 25th European Symposium on Programming, ESOP 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

Programming Languages and Systems 25th European Symposium on Programming, ESOP 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

Author

Thiemann, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-49498-1

Format:

Availability

Online Library~1

Available:
Copies:

35.

Distributed Simulation A Model Driven Engineering Approach

Author

Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

Author

Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-45892-2

Format:

Availability

Online Library~1

Available:
Copies:

37.

Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings

Author

Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

Author

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Software Developers as Users Semiotic Investigations in Human-Centered Software Development

Author

Sieckenius de Souza, Clarisse. author. Fontoura de Gusmão Cerqueira, Renato. author. Marques Afonso, Luiz. author. Rossi de Mello Brandão, Rafael. author. Soares Jansen Ferreira, Juliana. author.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Soft Computing in Computer and Information Science

Author

Wiliński, Antoni. editor. Fray, Imed El. editor. Pejaś, Jerzy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-15147-2

Format:

Availability

Online Library~1

Available:
Copies:

41.

Expert bytes : computer expertise in forensic documents : players, needs, resources, and pitfalls

Author

Atanasiu, Vlad, author.

Preferred Shelf Number

HV8074 .A83 2014

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}