Quality software through reuse and integration. (2018)

• Record Type: Book
• Further Information: Note: Stuart H. Rubin, Thouraya Bouabana-Tebibel, editors.
• Editors: Rubin, S (Stuart); Bouabana-Tebibel, Thouraya
• Contents: On the tractable acquisition of heuristics for software synthesis demonstrating that PsimNP / Stuart H. Rubin, Thouraya Bouabana-Tebibel, and William K. Grefe -- An approach transmutation-based in case-based reasoning / Thouraya Bouabana-Tebibel, Stuart H. Rubin, Yasmine Hoadjli, and Idriss Benaziez -- Utilizing semantic techniques for automatic code reuse in software repositories / Awny Alnusair, Majdi Rawashdeh, M. Anwar Hossain, and Mohammed F. Alhamid -- A multi-strategy approach for ontology reuse through matching and integration techniques / Enrico G. Caldarola and Antonio M. Rinaldi -- Classifier fusion by judgers on spark clusters for multimedia big data classification / Yilin Yan, Qiusha Zhu, Mei-Ling Shyu, and Shu-Ching Chen -- Employing graph databases as a standardization model for addressing heterogeneity and integration / Dippy Aggarwal and Karen C. Davis -- Modeling terminologies for reusability in faceted systems / Daniel R. Harris -- A layered approach to specification authoring, sharing, and usage / John L. Singleton and Gary T. Leavens -- FCL : a formal language for writing contracts / William M. Farmer and Qian Hu -- Operational semantics for the rigorous analysis of distributed systems / Mohammed S. Al-Mahfoudh, Ganesh Ganesh Gopalakrishnan, and Ryan Stutsman -- BHive : behavior-driven development meets B-method / John Douglas Carter and William Bennett Gardner -- A pre-processing tool for Z2SAL to broaden support for model checking Z specifications / Maria Ulfah Siregar -- Reasoning about temporal faults using an activation logic / André Didier and Alexandre Mota.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2018
• Extent: 1 online resource (323 pages)
• Subjects: 005; 620; Engineering; Computer software -- Reusability; Computer software -- Quality control; Artificial intelligence; Computer software -- Quality control; Computer software -- Reusability; Computers -- Intelligence (AI) & Semantics; Artificial intelligence; Electronic books
• Languages: English
• ISBNs: 9783319561578
• Related ISBNs: 331956157X; 9783319561561; 3319561561
• Notes: Note: Includes bibliographical references and author index.; Note: Print version record.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.