2010, ISBN: 3642152279

[EAN: 9783642152276], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; MODEL CHECKING; PERFORMANCE; PERFORMANCE ANALYSIS; PROGRAM M… Mehr…

[EAN: 9783642152276], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; MODEL CHECKING; PERFORMANCE; PERFORMANCE ANALYSIS; PROGRAM METRICS; VALIDATION; VERIFICATION; SYSTEM; TEXT; ALGORITHMS, Druck auf Anfrage Neuware - Printed after ordering - At the dawn of the 21st century and the information age, communication and c- puting power are becoming ever increasingly available, virtually pervading almost every aspect of modern socio-economical interactions. Consequently, the potential for realizing a signi cantly greater number of technology-mediated activities has emerged. Indeed, many of our modern activity elds are heavily dependant upon various underlying systems and software-intensive platforms. Such technologies are commonly used in everyday activities such as commuting, traf c control and m- agement, mobile computing, navigation, mobile communication. Thus, the correct function of the forenamed computing systems becomes a major concern. This is all the more important since, in spite of the numerous updates, patches and rmware revisions being constantly issued, newly discovered logical bugs in a wide range of modern software platforms (e. g. , operating systems) and software-intensive systems (e. g. , embedded systems) are just as frequently being reported. In addition, many of today's products and services are presently being deployed in a highly competitive environment wherein a product or service is succeeding in most of the cases thanks to its quality to price ratio for a given set of features. Accordingly, a number of critical aspects have to be considered, such as the ab- ity to pack as many features as needed in a given product or service while c- currently maintaining high quality, reasonable price, and short time -to- market., Books<

2010, ISBN: 9783642152276

gewerbliches Angebot, [SC: 0.00], Neuware, [PU: Springer / Springer Berlin Heidelberg / Springer, Berlin], [ED: Hardcover], DE, At the dawn of the 21st century and the information age, co… Mehr…

gewerbliches Angebot, [SC: 0.00], Neuware, [PU: Springer / Springer Berlin Heidelberg / Springer, Berlin], [ED: Hardcover], DE, At the dawn of the 21st century and the information age, communication and c- puting power are becoming ever increasingly available, virtually pervading almost every aspect of modern socio-economical interactions. Consequently, the potential for realizing a signi?cantly greater number of technology-mediated activities has emerged. Indeed, many of our modern activity ?elds are heavily dependant upon various underlying systems and software-intensive platforms. Such technologies are commonly used in everyday activities such as commuting, traf?c control and m- agement, mobile computing, navigation, mobile communication. Thus, the correct function of the forenamed computing systems becomes a major concern. This is all the more important since, in spite of the numerous updates, patches and ?rmware revisions being constantly issued, newly discovered logical bugs in a wide range of modern software platforms (e. g. , operating systems) and software-intensive systems (e. g. , embedded systems) are just as frequently being reported. In addition, many of today's products and services are presently being deployed in a highly competitive environment wherein a product or service is succeeding in most of the cases thanks to its quality to price ratio for a given set of features. Accordingly, a number of critical aspects have to be considered, such as the ab- ity to pack as many features as needed in a given product or service while c- currently maintaining high quality, reasonable price, and short time -to- market. 2010. xxvi, 248 S. XXVI, 248 p. 235 mm Versandfertig in 6-10 Tagen, Offene Rechnung (Vorkasse vorbehalten)<

ISBN: 9783642152276

At the dawn of the 21st century and the information age, communication and c- puting power are becoming ever increasingly available, virtually pervading almost every aspect of modern soci… Mehr…

At the dawn of the 21st century and the information age, communication and c- puting power are becoming ever increasingly available, virtually pervading almost every aspect of modern socio-economical interactions. Consequently, the potential for realizing a signi?cantly greater number of technology-mediated activities has emerged. Indeed, many of our modern activity ?elds are heavily dependant upon various underlying systems and software-intensive platforms. Such technologies are commonly used in everyday activities such as commuting, traf?c control and m- agement, mobile computing, navigation, mobile communication. Thus, the correct function of the forenamed computing systems becomes a major concern. This is all the more important since, in spite of the numerous updates, patches and ?rmware revisions being constantly issued, newly discovered logical bugs in a wide range of modern software platforms (e. g. , operating systems) and software-intensive systems (e. g. , embedded systems) are just as frequently being reported. In addition, many of today’s products and services are presently being deployed in a highly competitive environment wherein a product or service is succeeding in most of the cases thanks to its quality to price ratio for a given set of features. Accordingly, a number of critical aspects have to be considered, such as the ab- ity to pack as many features as needed in a given product or service while c- currently maintaining high quality, reasonable price, and short time -to- market., Springer Berlin Heidelberg<

2010, ISBN: 9783642152276

Gebundene Ausgabe

gewerbliches Angebot, [SC: 0.00], Neuware, [PU: Springer Berlin Heidelberg], Hardcover, 248, [GW: 526g], [ED: Gebunden], 1. Auflage, DE, Dieser Artikel ist ein Print on Demand Artikel und… Mehr…

gewerbliches Angebot, [SC: 0.00], Neuware, [PU: Springer Berlin Heidelberg], Hardcover, 248, [GW: 526g], [ED: Gebunden], 1. Auflage, DE, Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Broad and comprehensive overview of software verification and validation techniquesClose integration with the UML standardTheoretical presentation complemented, Banküberweisung, PayPal, [CT: Naturwissenschaft/Mathematik / Sonstiges - Naturwissenschaften]<

2010, ISBN: 3642152279

2010 Gebundene Ausgabe EDV / Theorie / Software-Entw. / Software Engineering, Software Engineering, Systemanalyse und -design, Performance; Software Engineering; SysML; Text; UML; algor… Mehr…

2010 Gebundene Ausgabe EDV / Theorie / Software-Entw. / Software Engineering, Software Engineering, Systemanalyse und -design, Performance; Software Engineering; SysML; Text; UML; algorithms; model checking; performance analysis; program analysis; software metrics; software validation; software verification; system, mit Schutzumschlag 11, [PU:Springer Berlin Heidelberg; Springer-Verlag GmbH]<