|
|
|
|
|
|
Main.Home HistoryHide minor edits - Show changes to output Changed line 5 from:
* Postproceedings available as to:
* Postproceedings available as [[https://dx.doi.org/10.1007/978-3-319-28934-2 | LNCS 9539]]! Added line 4:
* Special issue of [[http://www.sciencedirect.com/science/journal/01676423?sdc=1|Science of Computer Programming, vol. 146]], with extended selected papers! Changed line 4 from:
* LNCS [[https://dx.doi.org/10.1007/978-3-319-28934-2 | 9539]]! to:
* Postproceedings available as LNCS [[https://dx.doi.org/10.1007/978-3-319-28934-2 | 9539]]! Changed lines 4-5 from:
* to:
* LNCS [[https://dx.doi.org/10.1007/978-3-319-28934-2 | 9539]]! * [[http://facs2015.ic.uff.br/index.php/Main/Pictures | Some pictures]]! * Conference dinner [[http://facs2015.ic.uff.br/index.php/Main/ConferenceDinner | address ]] available! Added line 4:
* [[http://facs2015.ic.uff.br/index.php/Main/Pictures | Some pictures!]] Added line 4:
* [[http://facs2015.ic.uff.br/index.php/Main/ConferenceDinner | Conference dinner address available!]] Added line 4:
* [[http://facs2015.ic.uff.br/facs-preprocs.pdf| Pre-proceedings]] are available on line! Deleted line 5:
Deleted line 6:
Deleted line 7:
Deleted line 8:
Deleted line 9:
Changed lines 4-6 from:
* Registration is open! Early registration due September 14. * Preproceedings camera-ready deadline: '''September 20 to:
* Registration is open! Early registration due '''September 14'''. * Preproceedings camera-ready deadline: '''September 20'''. Added lines 4-5:
* Registration is open! Early registration due September 14. Changed line 59 from:
* tools supporting formal methods for components and services. to:
* tools supporting formal methods for components and services. Changed line 8 from:
* New [[http://www.ic.uff.br/~facs2015/facs-logo.png | visual identity]] to:
* New [[http://www.ic.uff.br/~facs2015/facs-logo.png | visual identity]]! Changed line 8 from:
* New to:
* New [[http://www.ic.uff.br/~facs2015/facs-logo.png | visual identity]] for FACS 2015! Changed line 6 from:
* to:
* List of [[Main/Accepted Papers| accepted papers]]. Added lines 3-4:
* Preproceedings camera-ready deadline: '''September 20, 2015''' Added lines 1-6:
!News ----------- * Paper submission deadline extended until '''July 12'''. (Papers ''without'' previously submitted abstracts can also be submitted until this time.) Deleted lines 45-47:
!!!Promotion http://www.sbc.org.br/images/imagens/marca.png Changed lines 45-48 from:
* tools supporting formal methods for components and services. to:
* tools supporting formal methods for components and services. !Promotion http://www.sbc.org.br/images/imagens/marca.png Changed lines 4-26 from:
Component-based software development Moreover, the advent of FACS 2015 is concerned with how formal methods can be used to make component-based development fit for the new architectures of today The conference seeks to address the development * formal models for software * design * composition * formal methods * model * 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, * simulation techniques for complex networks of interacting components, * industrial or experience reports, * 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, * tools supporting the to:
Component-based software development proposes sound engineering principles and techniques to cope with the complexity of software-intensive systems. However, many challenging conceptual and technological issues remain. Furthermore, the advent of service-oriented and cloud computing has brought to the fore new dimensions, such as quality of service and robustness to withstand faults, which require revisiting established concepts and developing new ones in order to take advantage of the opportunities offered by those architectures. As software applications themselves become components of wider socio-technical systems, further challenges arise from the need to create and manage interactions, which can evolve in time and space, and rely on resources that can change in various ways. FACS 2015 is concerned with how formal methods can be used to make component-based development fit for the new architectures and the systems that now pervade the world. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. The conference seeks to address the development and application of formal methods in all aspects of software components and services. Specific topics include, but are not limited to: * formal models for software components and their interaction; * formal aspects of services, service-oriented architectures, business processes, cloud computing, ensembles, and similar artifacts; * 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; * probabilistic techniques for modeling and verification; * case studies and experience reports; * update and reconfiguration of component and service architectures; * formal and rigorous approaches to software adaptation and self-adaptive systems; * tools supporting formal methods for components and services. Deleted line 18:
Changed line 7 from:
FACS 2015 is concerned with how formal methods can be used to make component-based development fit for the new architectures of today and the systems that are now pervading the socio-economic world. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. to:
FACS 2015 is concerned with how formal methods can be used to make component-based development fit for the new architectures of today and the systems that are now pervading the socio-economic world. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. While those avenues still need to be further explored, time is also ripe to bring new techniques to the fore, such as those based on stochastic models and simulation. Changed lines 20-21 from:
* industrial or experience reports, to:
* industrial or experience reports, * case studies, Changed line 18 from:
* stochastic techniques for modelling and verification, to:
* {-stochastic techniques for modelling and verification-}, Changed line 15 from:
* model to:
* model-based and GUI-based testing of components and services, Changed line 11 from:
* formal aspects of services, service to:
* formal aspects of services, service-oriented architectures, business processes, cloud computing, ensembles, or similar programming artifacts, Changed line 5 from:
Moreover, the advent of service-oriented and cloud computing has brought to the fore new dimensions, such as quality of service and robustness to withstand inevitable faults, which require established concepts to be revisited and new ones to be developed in order to to:
Moreover, the advent of service-oriented and cloud computing has brought to the fore new dimensions, such as quality of service and robustness to withstand inevitable faults, which require established concepts to be revisited and new ones to be developed in order to take advantage of the opportunities offered by those architectures. As software applications themselves become components of wider socio-technical systems, further challenges arise from the need to create and manage interactions, which can evolve in time and space, and rely on the use of resources that can change in non-computable ways. Changed lines 10-25 from:
* formal models for software components and their interaction to:
* formal models for software components and their interaction, * formal aspects of services, service oriented architectures, business processes, cloud computing, ensembles, or similar programming artifacts, * 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, * stochastic techniques for modelling and verification, * simulation techniques for complex networks of interacting components, * 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, * tools supporting the formal methods for components and services. Changed lines 9-25 from:
formal aspects of services design composition and deployment: models, calculi, languages formal methods and modeling languages for components and models components for real-time, safety-critical, secure, and/or embedded systems stochastic techniques for modelling and verification simulation techniques for complex networks of interacting 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 tools supporting the formal methods for components and services to:
* formal models for software components and their interaction * formal aspects of services, service oriented architectures, business processes, cloud computing, ensembles, or similar programming artifacts * 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 * stochastic techniques for modelling and verification * simulation techniques for complex networks of interacting components * 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 * tools supporting the formal methods for components and services Added lines 1-25:
Component-based software development is a paradigm that has been proposing sound engineering principles and techniques for coping with the complexity of software-intensive systems. However, many challenging conceptual and technological issues remain that require further research. Moreover, the advent of service-oriented and cloud computing has brought to the fore new dimensions, such as quality of service and robustness to withstand inevitable faults, which require established concepts to be revisited and new ones to be developed in order to meet the opportunities offered by those architectures. As software applications become themselves components of wider socio-technical systems, further challenges arise from the need to create and manage interactions, which can evolve in time and space, and rely on the use of resources that can change in non-computable ways. FACS 2015 is concerned with how formal methods can be used to make component-based development fit for the new architectures of today and the systems that are now pervading the socio-economic world. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. Whilst those avenues still need to be further explored, time is also ripe to bring new techniques to the fore, such as those based on stochastic models and simulation. The conference seeks to address the development and application of formal methods in all aspects of software components and services. Specific topics include, but are not limited to: formal models for software components and their interaction formal aspects of services, service oriented architectures, business processes, cloud computing, ensembles, or similar programming artifacts 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 stochastic techniques for modelling and verification simulation techniques for complex networks of interacting components 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 tools supporting the formal methods for components and services |
