topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 10
 |
Software Engineering for Collective Autonomic Systems: The Ascens Approach
ISBN: 9783319163093 / Angielski / Miękka / 2015 / 535 str. Termin realizacji zamówienia: ok. 20 dni roboczych. A collective autonomic system consists of collaborating autonomic entities which are able to adapt at runtime, adjusting to the state of the environment and incorporating new knowledge into their behavior. These highly dynamic systems are also known as ensembles. To ensure correct behavior of ensembles it is necessary to support their development through appropriate methods and tools which can guarantee that an autonomic system lives up to its intended purpose; this includes respecting important constraints of the environment. This State-of-the-Art Survey addresses the engineering of such...
A collective autonomic system consists of collaborating autonomic entities which are able to adapt at runtime, adjusting to the state of the environme...
|
cena:
192,74 zł |
 |
Recent Trends in Algebraic Development Techniques: 16th International Workshop, Wadt 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Sel
ISBN: 9783540205371 / Angielski / Miękka / 2003 / 464 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Algebraic Development Techniques, WADT 2002, held at Frauenchiemsee, Germany in September 2002.The 20 revised full papers presented together with 6 invited papers were carefully improved and selected from 44 workshop presentations during two rounds of reviewing. The papers are devoted to topics like formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for...
This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Algebraic Development Techniques, WADT 2002, held...
|
cena:
192,74 zł |
 |
Trustworthy Global Computing: 5th International Symposium, Tgc 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
ISBN: 9783642156397 / Angielski / Miękka / 2010 / 380 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Global computing refers to computation over "global computers," i.e., com- tational infrastructures available globally and able to provide uniform services with variable guarantees for communication, cooperation and mobility, resource usage, security policies and mechanisms, etc., with particular regard to explo- ing their universal scale and the programmability of their services. As the scope and computational power of such global infrastructures continue to grow, it - comes more and more important to develop methods, theories and techniques for trustworthy systems running on global...
Global computing refers to computation over "global computers," i.e., com- tational infrastructures available globally and able to provide uniform ser...
|
cena:
192,74 zł |
 |
Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, Rissef 2002, Venice, Italy, October 7-11, 2002, Rev
ISBN: 9783540211792 / Angielski / Miękka / 2004 / 359 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the papers from the workshop "Radical Innovations of Software and Systems Engineering in the Future." This workshop was the ninth in the series of Monterey Software Engineering workshops for formulating and advancing software engineering models and techniques, with the fundamental theme of increasing the practical impact of formal methods. During the last decade object orientation was the driving factor for new system solutions in many areas ranging from e-commerce to embedded systems. New modeling languages such as UML and new programming languages such as Java and CASE...
This volume contains the papers from the workshop "Radical Innovations of Software and Systems Engineering in the Future." This workshop was the ninth...
|
cena:
192,74 zł |
 |
Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
ISBN: 9783642204005 / Angielski / Miękka / 2011 / 737 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Service-Oriented Computing is a paradigm for developing and providing software that can address many IT challenges, ranging from integrating legacy systems to building new, massively distributed, interoperable, evaluable systems and applications. The widespread use of SOC demonstrates the practical benefits of this approach. Furthermore it raises the standard for reliability, security, and performance for IT providers, system integrators, and software developers. This book documents the main results of Sensoria, an Integrated Project funded by the European Commission in the period 2005-2010....
Service-Oriented Computing is a paradigm for developing and providing software that can address many IT challenges, ranging from integrating legacy sy...
|
cena:
385,52 zł |
 |
Algebraic Methodology and Software Technology: 5th International Conference, Amast '96 Munich, Germany, July 1996. Proceedings
ISBN: 9783540614630 / Angielski / Miękka / 1996 / 647 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996.
The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also included are six invited talks and six invited presentations of the AMAST Education Day on industrial applications of formal methods. The full papers are organized in topical sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic... This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held i...
|
cena:
385,52 zł |
 |
Software-Intensive Systems and New Computing Paradigms: Challenges and Visions
ISBN: 9783540894360 / Angielski / Miękka / 2008 / 267 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Software-intensive systems have become increasingly important for a multitude of products and services from all sectors of the economy, our national and - ternational infrastructure, and our daily lives. The ongoing decrease in size and cost of microprocessorsandstoragedevicesis leading to the development of ever more distributed and decentralized systems. Systems are assembled as dynamic federationsofautonomousandevolvingcomponents insteadof monolithicapp- cations, they perform tasks of staggering complexity with continuously cha- ing requirements and in a permanently evolving environment....
Software-intensive systems have become increasingly important for a multitude of products and services from all sectors of the economy, our national a...
|
cena:
192,74 zł |
 |
Methods of Programming: Selected Papers on the CIP-Project
ISBN: 9783540545767 / Angielski / Miękka / 1991 / 250 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The systematic development of software systems is a central task of computing science. A software system is the result of putting together knowledge about the application, requirements and structures of computing science. This collection of papers presents examples of a formal approach to programming language concepts and program development, based on algebraic specification and program transformations. Examples are also presented of the evolution and modification of the original ideas of a project known as CIP (Computer-Aided Intuition-Guided Programming). The topics range from descriptions...
The systematic development of software systems is a central task of computing science. A software system is the result of putting together knowledge a...
|
cena:
192,74 zł |
 |
Algebraic Methods: Theory, Tools and Applications
ISBN: 9783540516989 / Angielski / Miękka / 1989 / 564 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
385,52 zł |
 |
Elementare Aussagenlogik
ISBN: 9783540529743 / Niemiecki / Miękka / 1991 / 238 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Dieses Buch uber elementare Aussagenlogik (wie auch seine geplante Fortsetzung uber Elementare Pradikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universitat Munchen entstanden. Es basiert auf der Uberzeugung, dass fur Studierende der Informatik nicht nur ein anderer Aufbau des mathematischen Grundstudiums geboten ist als etwa fur Ingenieure oder Physiker, sondern auch ein anderes Menu, als es sich an unseren Universitaten nach den GAMM-NTG-Empfehlungen der siebziger Jahre eingeburgert hat. Neben den unentbehrlichen Einfuhrungsvorlesungen in Mathematik sind fur...
Dieses Buch uber elementare Aussagenlogik (wie auch seine geplante Fortsetzung uber Elementare Pradikatenlogik und Universelle Algebra) ist aus Vorles...
|
cena:
198,14 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
