An Introduction to Component-based Software Development

Component-based software development: ca

📁 Component-based software development: case studies

✍ Kung-Kiu Lau 📂 Library 📅 2004 🏛 World Scientific 🌐 English

Component-based software development (CBD) is an emerging discipline that promises to take software engineering into a new era. Building on the achievements of object-oriented software construction, CBD aims to deliver software engineering from a cottage industry into an industrial age for Informati

Component-Based Software Development: Ca

📁 Component-Based Software Development: Case Studies

✍ Kung-Kiu Lau 📂 Library 📅 2004 🏛 World Scientific Publishing Company 🌐 English

Component-based software development (CBD) is an emerging discipline that promises to take software engineering into a new era. Building on the achievements of object-oriented software construction, CBD aims to deliver software engineering from a cottage industry into an industrial age for Informati

Mathematical Frameworks for Component So

📁 Mathematical Frameworks for Component Software: Models for Analysis and Synthesis (Series on Component-Based Software Development) (Series on Component-Based Software Development)

✍ Zhiming Liu, He Jifeng 📂 Library 📅 2007 🌐 English

The range of components technology is both wide and diverse, but some common understanding is emerging through the ideas of model-based development. These include the notions of interfaces, contracts, services, connectors and architectures. Key issues in the application of the technology are becomin

An introduction to open source software

📁 An introduction to open source software development

✍ Evers S. 📂 Library 📅 2000 🌐 English

Rigorous Software Development: An Introd

📁 Rigorous Software Development: An Introduction to Program Verification

✍ José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa ( 📂 Library 📅 2011 🏛 Springer-Verlag London 🌐 English

Rigorous software development: an introd

📁 Rigorous software development: an introduction to program verification

✍ Almeida, José Bacelar;Frade, Maria João;Pinto, Jorge Sousa;Sousa, Simão Melo de 📂 Library 📅 2011 🏛 Springer 🌐 English

The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software. Program Verification is the area of computer science that studies mathem