Staff View for: Formal aspects of component software : 7

 Staff view

You must be logged in to Tag Records

Formal aspects of component software : 7th international workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010 : revised selected papers /

Luís Soares Barbosa, Markus Lumpe (eds.).

Book Cover
Names: Barbosa, Luis Soares. | Lumpe, Markus.
Published: Heidelberg ; Springer, ©2012.
Series: Lecture notes in computer science ; 6921.
LNCS sublibrary. SL 2, Programming and software engineering.
Topics: Formal methods (Computer science) - Congresses. | Component software - Congresses. | Computer science. | Computer Communication Networks. | Software engineering. | Logic design. | Informatique.
Genres: Electronic books.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


000 05373cam a2200625Ia 4500
001 13406551
005 20190713193849.0
006 m o d
007 cr cn|||||||||
008 120117s2012 gw a ob 101 0 eng d
016 7 |a016054643|2Uk
020 |a364227269X|q(electronic bk.)
020 |a9783642272691|q(electronic bk.)
020 |z3642272681
020 |z9783642272684
024 7 |a10.1007/978-3-642-27269-1|2doi
035 |a(OCoLC)ocn778886109
035 |a(UIUdb)9005158
040 |aSFB|beng|epn|cSFB|dOSU|dUKMGB|dOCLCQ|dSINTU|dOCLCO|dGW5XE|dCOO|dZMC|dITD|dE7B|dBEDGE|dVT2|dOCLCO|dYDXCP|dOCLCQ|dOCLCO|dEBLCP|dOCLCQ|dESU|dOCLCQ|dIOG|dNJR|dOCLCQ|dUIU|dUIUdb
049 |aUIUU
050 4|aQA76.9.E94|bI585 2010eb
082 04|a005.1|223
111 2 |aInternational Workshop on Formal Aspects of Component Software|n(7th :|d2010 :|cGuimarães, Portugal)
245 10|aFormal aspects of component software :|b7th international workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010 : revised selected papers /|cLuís Soares Barbosa, Markus Lumpe (eds.).
246 30|aFACS 2010
260 |aHeidelberg ;|aNew York :|bSpringer,|c©2012.
300 |a1 online resource (x, 303 pages) :|billustrations.
336 |atext|btxt|2rdacontent
337 |acomputer|bc|2rdamedia
338 |aonline resource|bcr|2rdacarrier
490 1 |aLecture notes in computer science,|x0302-9743 ;|v6921
490 1 |aLNCS sublibrary: SL 2 - Programming and software engineering
504 |aIncludes bibliographical references and index.
505 00|tQuantitative Analysis of Software: Challenges and Recent Advances /|rSanjit A. Seshia --|tAnalysis of Service Oriented Software Systems with the Conversation Calculus /|rLuís Caires, Hugo Torres Vieira --|tQoS Contract-Aware Reconfiguration of Component Architectures Using E-Graphs /|rGabriel Tamura, Rubby Casallas, Anthony Cleve --|tMonitoring Method Call Sequences Using Annotations /|rB. Nobakht, M.M. Bonsangue, F.S. de Boer --|tAn Introduction to Pervasive Interface Automata /|rM. Calder, P. Gray, A. Miller, C. Unsworth --|tA Separation Logic for OO Programs /|rLiu Yijing, Qiu Zongyan --|tModel Checking Adaptive Multilevel Service Compositions /|rSabina Rossi --|tDistributed Adaption of Dining Philosophers /|rS. Andova, L.P.J. Groenewegen, E.P. de Vink --|tComponent Service Promotion: Contracts, Mechanisms and Safety /|rPascal André, Gilles Ardourel, Mohamed Messabihi --|tSystems-Theoretic View of Component-Based Software Development /|rDaniel Côté, Michel Embe Jiague, Richard St-Denis --|tAspect Weaving in UML Activity Diagrams: A Semantic and Algorithmic Framework /|rDjedjiga Mouheb, Dima Alhadidi, Mariam Nouh --|tUsing Temporal Logic for Dynamic Reconfigurations of Components /|rJulien Dormoy, Olga Kouchnarenko, Arnaud Lanoix --|tModular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries /|rD. Ramírez-Deantes, J. Correas, G. Puebla --|tDecomposition of Constraint Automata /|rBahman Pourvatan, Marjan Sirjani, Farhad Arbab --|tGraph Representation of Sessions and Pipelines for Structured Service Programming /|rRoberto Bruni, Zhiming Liu, Liang Zhao --|tWill the Real Service Oriented Computing Please Stand Up? /|rFarhad Arbab --|tPerformance Verification in Complex Enterprise-Level Component Systems /|rLudwig Adam --|tRuntime Programming through Model-Preserving, Scalable Runtime Patches /|rChristoph M. Kirsch, Luís Lopes --|tSteps on the Road to Component Evolvability /|rMario Bravetti, Cinzia Di Giusto, Jorge A. Pérez --|tTowards Linear Algebras of Components /|rHugo Daniel Macedo, José Nuno Oliveira.
520 |aThis book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010. The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed.
588 0 |aOnline resource; title from PDF title page (SpringerLink; viewed Mar. 13, 2012).
650 0|aFormal methods (Computer science)|vCongresses.
650 0|aComponent software|vCongresses.
650 0|aComputer science.
650 0|aComputer Communication Networks.
650 0|aSoftware engineering.
650 0|aLogic design.
650 7|aInformatique.|2eclas
655 4|aElectronic books.
700 1 |aBarbosa, Luis Soares.
700 1 |aLumpe, Markus.
776 08|iPrint version:|tFormal Aspects of Component Software.|dSpringer-Verlag New York Inc 2012|z9783642272684|w(OCoLC)761857744
830 0|aLecture notes in computer science ;|v6921.
830 0|aLNCS sublibrary.|nSL 2,|pProgramming and software engineering.
852 8 |beresour-nc|hOnline Resource|t1|zAccessible anywhere on campus or with UIUC NetID
856 40|3SpringerLink - Full text online|uhttp://www.library.illinois.edu/proxy/go.php?url=http://dx.doi.org/10.1007/978-3-642-27269-1
938 |aEBL - Ebook Library|bEBLB|nEBL3071023
938 |aebrary|bEBRY|nebr10656783
938 |aYBP Library Services|bYANK|n7425395
994 |aC0|bUIU

Staff View for: Formal aspects of component software : 7