|
|
|
|
|
|
Main.Home HistoryHide minor edits - Show changes to markup Changed line 5 from:
to:
Added line 4:
Changed line 4 from:
to:
Changed lines 4-5 from:
to:
Added line 4:
Deleted line 5:
Deleted line 6:
Deleted line 7:
Deleted line 8:
Deleted line 9:
Changed lines 4-6 from:
to:
Added lines 4-5:
Changed line 59 from:
to:
Changed line 8 from:
to:
Changed line 8 from:
to:
Added lines 3-4:
Added lines 1-6:
News
(Papers without previously submitted abstracts can also be submitted until this time.) Deleted lines 45-47:
Promotionhttp://www.sbc.org.br/images/imagens/marca.png Changed lines 45-48 from:
to:
Promotionhttp://www.sbc.org.br/images/imagens/marca.png Changed lines 4-26 from:
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 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. 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. 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:
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:
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. 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. 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:
to:
Changed line 18 from:
to:
Changed line 15 from:
to:
Changed line 11 from:
to:
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 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. 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:
to:
Deleted line 7:
Changed lines 9-25 from:
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
to:
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
|
