Mathai Joseph – författare
Visar alla böcker från författaren Mathai Joseph. Handla med fri frakt och snabb leverans.
6 produkter
6 produkter
Häftad, Engelska, 2000
556 kr
Skickas inom 10-15 vardagar
The six Schools and Symposia on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT) have seen the eld develop from tentative explo- tions to a far higher degree of maturity, and from being under the scrutiny of a few interested software designers and academics to becoming a well-established area of inquiry. A number of new topics, such as hybrid systems, have been g- minated at these meetings and cross-links explored with related subjects such as scheduling theory. There has certainly been progress during these 12 years, but it is sobering to see how far and how fast practice has moved ahead in the same time, and how much more work remains to be done before the design of a mission-critical system can be based entirely on sound engineering principles underpinned by solid scienti c theory. The Sixth School and Symposium were organized by the Tata Research - velopment and Design Centre in Pune, India. The lectures at the School were given by Ian Hayes (U. of Queensland), Paritosh Pandya (Tata Institute of F- damental Research), Willem-Paul de Roever (Christian Albrechts U. ) and Joseph Sifakis (VERIMAG).There were three invited lectures at the Symposium, by Werner Damm (U. of Oldenburg), Nicholas Halbwachs (VERIMAG) and Yoram Moses (Technion). A sizable number of submissions were received for the Symposium from a- hors representing 16 di erent countries.
Häftad, Engelska, 1988
556 kr
Skickas inom 10-15 vardagar
This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Important notions of time, synchrony, redundancy and replication are examined using assertional reasoning, temporal logic and the logics of knowledge. The volume will be invaluable to researchers in formal modeling of concurrency, real-time and fault-tolerance, and to software engineers in safety-critical applications.
Häftad, Engelska, 2007
556 kr
Skickas inom 10-15 vardagar
SEAFOOD for Thought Headline-grabbing though it may be, the software industry’s large-scale allo- tion of work to developing countries has not so far generated much technical analysis. Attention is usually limited to the possible political and economic c- sequences, in particular the fears of loss of employment in the West. The aim of the present volume is di?erent. We recognize that o?shore development is here to stay, and not just a result of cost considerations. It is – more accurately – a form of distributed development, relying on advances in communications to let the software industry, in our globalizedworld,bene?t from the wide distribution of human talent. But it is also the source of a new set of challenges, to which accepted software engineering principles and techniques have not completely prepared us. Producing high-quality software on time and within budget is hard enough when the QA team is across the aisle from the core developers, and the customers across the street; what then when the bulk of the development team is across an ocean or two? The ?rst SEAFOOD – Software Engineering Advances For Outsourced and 1 O?shore Development – conference (prompted by an earlier article ) was an - tempt not only to bring software engineering to outsourcing but also to bring outsourcing into the collective consciousness of the software engineering c- munity. This is bene?cial to both sides: successful outsourcing requires strong softwareengineering guidance, but researchin the ?eld must for its part account forthenewworldofsoftwaredevelopment.
Del 16 - Lecture Notes in Business Information Processing
Software Engineering Approaches for Offshore and Outsourced Development
Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008, Revised Papers
Häftad, Engelska, 2009
556 kr
Skickas inom 10-15 vardagar
Majoreconomicupheavalscanhavethesortofe?ectthatSchumpeterforesaw60 yearsagoascreativedestruction.Inscienceandtechnology,equivalentupheavals resultfromeitherscienti?crevolutions(asobservedbyKuhn)ortheintroduction of what Christensen calls disruptive technologies. And in software engineering, there has been no technology more disruptive than outsourcing. That it should so quickly reach maturity and an unparalleled scale is truly remarkable; that it should now be called to demonstrate its sustainability in the current ?nancial turmoil is the challenge that will prove whether and how it will endure. Early signs under even the bleak market conditions of the last 12 months are that it will not only survive, it will ?rmly establish its role across the world of business. Outsourcing throws into sharp focus the entire software engineering life- cle. Topics as diverse as requirements analysis, concurrency and model-checking need to ?nd a composite working partnership in software engineering practice. This con?uence arises from need, not dogma, and the solutions required are those that will have the right e?ect on the associated activities in the world of the application: e.g., reducing the time for a transaction or making the results of a complex analysis available in real-time. While the business of outsourcing continues to be studied, the engineering innovations that make it compelling are constantly changing. It is in this milieu that this series of conferences has placed itself.
Del 35 - Lecture Notes in Business Information Processing
Software Engineering Approaches for Offshore and Outsourced Development
Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
Häftad, Engelska, 2009
556 kr
Skickas inom 10-15 vardagar
SEAFOOD 2009: Enabling Global Partnerships to Deliver on Business Needs Companies have been outsourcing areas of software development work for many years, either because of the engineering challenges or because the outsourced aspect is not central to their core business.
Häftad, Engelska, 2010
556 kr
Skickas inom 10-15 vardagar
Today's software production is increasingly distributed. Gone are the days of one-company,one-siteprojects;mostindustrialdevelopmentsinvolveteamssplit over locations, countries, and cultures. This distribution poses new challenges, for example, how to develop the software requirements speci?cation, and how to manage the project. These challenges are formidable; many failures have been reportedinoutsourcedanddistributedprojects,oftenduenottolackoftechnical expertise, but to di?culties in management and communication. SEAFOOD 2010, the fourth international conference on Software Engine- ing Advances For Outsourced and O?shore Development, was held in Peterhof (SaintPetersburg),Russia,on17-18June2010.SEAFOOD2010providedan- portunity for participants from academia and industry to confront experiences, ideas and proposals. The submissions received covered a wide range of topics, from country-wide reports from Russia and Argentina to global projectmana- ment. This volume includes 8 papers (4 full papers and 4 short papers) from the conference, selected after review by the Program Committee.The program also included two keynote presentations and the extended abstracts are included in this volume: "A Smarter Way: The Software Engineering Method and Theory Initiative (Semat)", by Ivar Jacobson, and "The Consortium for IT Software Quality", by Richard Mark Soley and Bill Curtis. Many people contributed to SEAFOOD 2010. We thank the Program C- mittee and the external reviewers for their excellent work in reviewing and - lecting the papers. The role of Andrei Voronkov's EasyChair conference system is gratefully acknowledged.