| 000 | 04613nam a22006255i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-35861-6 | ||
| 003 | DE-He213 | ||
| 005 | 20240730192518.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 130125s2013 gw | s |||| 0|eng d | ||
| 020 |
_a9783642358616 _9978-3-642-35861-6 |
||
| 024 | 7 |
_a10.1007/978-3-642-35861-6 _2doi |
|
| 050 | 4 | _aQA76.758 | |
| 072 | 7 |
_aUMZ _2bicssc |
|
| 072 | 7 |
_aCOM051230 _2bisacsh |
|
| 072 | 7 |
_aUMZ _2thema |
|
| 082 | 0 | 4 |
_a005.1 _223 |
| 245 | 1 | 0 |
_aFormal Aspects of Component Software _h[electronic resource] : _b9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers / _cedited by Corina S Pasareanu, Gwen Salaün. |
| 250 | _a1st ed. 2013. | ||
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2013. |
|
| 300 |
_aX, 277 p. 72 illus. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aProgramming and Software Engineering, _x2945-9168 ; _v7684 |
|
| 505 | 0 | _aFormal models for software components and their interaction -- Formal aspects of services, service oriented architectures, business processes, and cloud computing -- Design and verification methods for software components and services -- Composition and deployment: models, calculi, languages; formal methods and modeling languages for components and services -- Model based and GUI based testing of components and services -- Models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services -- Components for real-time, safety-critical, secure, and/or embedded systems -- Industrial or experience reports and case studies -- Update and reconfiguration of component and service architectures -- Component systems evolution and maintenance -- Autonomic components and self-managed applications -- Formal and rigorous approaches to software adaptation and self-adaptive systems. | |
| 520 | _aThis book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. The 16 full papers presented were carefully reviewed and selected from 40 submissions. They cover topics such as formal models for software components and their interaction; formal aspects of services, service oriented architectures, business processes, and cloud computing; design and verification methods for software components and services; composition and deployment: models, calculi, languages; formal methods and modeling languages for components and services; model based and GUI based testing of components and services; models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; components for real-time, safety-critical, secure, and/or embedded systems; industrial or experience reports and case studies; update and reconfiguration of component and service architectures; component systems evolution and maintenance; autonomic components and self-managed applications; formal and rigorous approaches to software adaptation and self-adaptive systems. | ||
| 650 | 0 |
_aSoftware engineering. _94138 |
|
| 650 | 0 |
_aMachine theory. _9150238 |
|
| 650 | 0 |
_aComputer science. _99832 |
|
| 650 | 0 |
_aCompilers (Computer programs). _93350 |
|
| 650 | 0 |
_aComputer programming. _94169 |
|
| 650 | 0 |
_aElectronic data processing _xManagement. _9150239 |
|
| 650 | 1 | 4 |
_aSoftware Engineering. _94138 |
| 650 | 2 | 4 |
_aFormal Languages and Automata Theory. _9150240 |
| 650 | 2 | 4 |
_aComputer Science Logic and Foundations of Programming. _942203 |
| 650 | 2 | 4 |
_aCompilers and Interpreters. _931853 |
| 650 | 2 | 4 |
_aProgramming Techniques. _9150241 |
| 650 | 2 | 4 |
_aIT Operations. _931703 |
| 700 | 1 |
_aPasareanu, Corina S. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9150242 |
|
| 700 | 1 |
_aSalaün, Gwen. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9150243 |
|
| 710 | 2 |
_aSpringerLink (Online service) _9150244 |
|
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642358609 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642358623 |
| 830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v7684 _9150245 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-642-35861-6 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cELN | ||
| 999 |
_c94290 _d94290 |
||