Search For:

Displaying 1-50 out of 64 total
Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking
Found in: Software Product Line Conference, International
By Carlo Ghezzi,Amir Molzam Sharifloo
Issue Date:August 2011
pp. 170-174
In this paper, we describe how probabilistic model checking techniques and tools can be used to verify non-functional properties of different configurations of a software product line. We propose a model-based approach that enables software engineers to as...
 
Towards Open-World Software: Issue and Challenges
Found in: Software Engineering Workshop, Annual IEEE/NASA Goddard
By Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi
Issue Date:April 2006
pp. 249-252
Traditional software development is based on the closed-world assumption that the boundary between system and environment is known and unchanging. However, this assumption no longer works within today?s unpredictable open-world settings, which demands tech...
   
Complexity in Human Centered Systems: The Case of Software Processes
Found in: Engineering of Complex Computer Systems, IEEE International Conference on
By Carlo Ghezzi
Issue Date:October 1999
pp. 178
Human centered systems are systems where humans interact, supported by technology, to accomplish complex tasks that involve a great deal of autonomy and individual responsibility and, at the same time, global coordination and sharing of information. Exampl...
 
Software Engineering Issues for Network Computing
Found in: Software Maintenance, IEEE International Conference on
By Carlo Ghezzi, Politecnico di Milano
Issue Date:October 1997
pp. 2
No summary available.
   
Towards Context-Oriented Self-Adaptation in Resource-Constrained Cyberphysical Systems
Found in: 2014 IEEE 38th International Computer Software and Applications Conference Workshops (COMPSACW)
By Mikhail Afanasov,Luca Mottola,Carlo Ghezzi
Issue Date:July 2014
pp. 372-377
We present a context-oriented approach to design and implement self-adaptive component-based software in resource-constrained Cyber physical Systems (CPSs). Because of unpredictable environment dynamics, developers must design and implement CPS software to...
 
Optimizing Service Selection and Allocation in Situational Computing Applications
Found in: IEEE Transactions on Services Computing
By Chiara Sandionigi,Danilo Ardagna,Gianpaolo Cugola,Carlo Ghezzi
Issue Date:July 2013
pp. 414-428
This paper describes a novel model for the service selection problem of workflow-based applications in the context of self-managing situated computing. In such systems, the execution environment includes different types of devices, from remote servers to p...
 
Resource-Oriented Middleware Abstractions for Pervasive Computing
Found in: Software Science, Technology and Engineering, IEEE International Conference on
By Mauro Caporuscio,Marco Funaro,Carlo Ghezzi
Issue Date:June 2012
pp. 1-10
The pervasive computing vision of the future communication and computational infrastructure is that we will be everywhere virtually connected with invisible computers, embedded in the environment. In this context, the challenge is to provide a middleware s...
 
Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements
Found in: Automated Software Engineering, International Conference on
By Antonio Filieri,Carlo Ghezzi,Alberto Leva,Martina Maggio
Issue Date:November 2011
pp. 283-292
This paper investigates a novel approach to derive self-adaptive software by automatically modifying the model of the application using a control-theoretical approach. Self adaptation is achieved at the model level to assure that the model -- which lives a...
 
The Fading Boundary between Development Time and Run Time
Found in: Web Services, European Conference on
By Carlo Ghezzi
Issue Date:September 2011
pp. 11
No summary available.
 
How Do Distribution and Time Zones Affect Software Development? A Case Study on Communication
Found in: Global Software Engineering, IEEE International Conference on
By Martin Nordio,H. Christian Estler,Bertrand Meyer,Julian Tschannen,Carlo Ghezzi,Elisabetta Di Nitto
Issue Date:August 2011
pp. 176-184
Software projects have crossed seas and continents looking for talented developers, moving from local developments to geographically distributed projects. This paper presents a case study analyzing the effect of distribution and time zones on communication...
 
Model-Driven Management of Services
Found in: Web Services, European Conference on
By Luciano Baresi, Mauro Caporuscio, Carlo Ghezzi, Sam Guinea
Issue Date:December 2010
pp. 147-154
Applications are increasingly composed of remote services provided by independent parties. This distributed ownership makes it problematic to measure and control quality of service indicators. Management activities must become an integral part of the syste...
 
Adaptive Software Needs Continuous Verification
Found in: Software Engineering and Formal Methods, IEEE International Conference on
By Carlo Ghezzi
Issue Date:September 2010
pp. 3-4
Extended abstract of keynote presentation
 
First International Workshop on <u>Qu</u>antitative St<u>o</u>chastic Models in the <u>V</u>erific<u>a</u>tion and <u>D</u>es<u>i</u>gn of <u>S</u>oftware Systems (QU
Found in: Software Engineering, International Conference on
By Carlo Ghezzi,Lars Grunske,Raffaela Mirandola
Issue Date:May 2010
pp. 451-452
Nowadays requirements related to quality attributes such as performance, reliability, safety and security are often considered the most important requirements for software development projects. To reason about these quality attributes different stochastic ...
 
Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens
Found in: IEEE Transactions on Software Engineering
By Luciano Baresi, Carlo Ghezzi, Luca Mottola
Issue Date:March 2011
pp. 228-246
The Publish-Subscribe (P/S) communication paradigm fosters high decoupling among distributed components. This facilitates the design of dynamic applications, but also impacts negatively on their verification, making it difficult to reason on the overall fe...
 
Keynote Abstract - On the Use of Quantitative Models for Open-World Software
Found in: 2010 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2010)
By Carlo Ghezzi
Issue Date:March 2010
pp. xvii-xviii
Modern software applications increasingly live in an open world, characterized by continuous change. Continuous changes occur autonomously and unpredictably, in a way that is largely out of control of the application designer. Hence they ask for software s...
   
Reasoning on Non-Functional Requirements for Integrated Services
Found in: Requirements Engineering, IEEE International Conference on
By Carlo Ghezzi, Giordano Tamburrelli
Issue Date:September 2009
pp. 69-78
We focus on non-functional requirements for applications offered by service integrators; i.e., software that delivers service by composing services, independently developed, managed, and evolved by other service providers. In particular, we focus on requir...
 
Embedding continuous lifelong verification in service life cycles
Found in: Principles of Engineering Service Oriented Systems, ICSE Workshop on
By Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso
Issue Date:May 2009
pp. 99-102
Service-oriented systems are an instantiation of open world software, which is characterized by high dynamism and decentralization. These properties strongly impact on how service-oriented systems are engineered, built, and operated, as well as verified. T...
 
Synthesizing intensional behavior models by graph transformation
Found in: Software Engineering, International Conference on
By Carlo Ghezzi, Andrea Mocci, Mattia Monga
Issue Date:May 2009
pp. 430-440
This paper describes an approach (SPY) to recovering the specification of a software component from the observation of its run-time behavior. It focuses on components that behave as data abstractions. Components are assumed to be black boxes that do not al...
 
Model evolution by run-time parameter adaptation
Found in: Software Engineering, International Conference on
By Ilenia Epifani, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli
Issue Date:May 2009
pp. 111-121
Models can help software engineers to reason about design-time decisions before implementing a system. This paper focuses on models that deal with non-functional properties, such as reliability and performance. To build such models, one must rely on numeri...
 
ReMan: A pro-active reputation management infrastructure for composite Web services
Found in: Software Engineering, International Conference on
By Domenico Bianculli, Walter Binder, Mauro Luigi Drago, Carlo Ghezzi
Issue Date:May 2009
pp. 623-626
REMAN is a reputation management infrastructure for composite Web services. It supports the aggregation of client feedback on the perceived QoS of external services, using reputation mechanisms to build service rankings. Changes in rankings are pro-activel...
 
Transparent Reputation Management for Composite Web Services
Found in: Web Services, IEEE International Conference on
By Domenico Bianculli, Walter Binder, Luigi Drago, Carlo Ghezzi
Issue Date:September 2008
pp. 621-628
The dependability of composite services is largely affected by their constituent Web services. Composite services have to operate in an open and dynamically changing environment in order to leverage the best performing services available at the moment. Hen...
 
Determining the Impact of Software Engineering Research on Practice
Found in: Computer
By Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf
Issue Date:March 2008
pp. 39-49
The Impact Project provides a solid and scholarly assessment of the impact software engineering research has had on software engineering practice. The assessment takes the form of a series of studies and briefings, each involving literature searches and, w...
 
A Timed Extension of WSCoL
Found in: Web Services, IEEE International Conference on
By Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini
Issue Date:July 2007
pp. 663-670
Web service based applications are expected to live in dynamically evolving settings. At run-time, services may undergo changes that could modify their expected behavior. Because of such intrinsic dynamic nature, applications should be designed by adhering...
 
A Model Checking Approach to Verify BPEL4WS Workflows
Found in: Service-Oriented Computing and Applications, IEEE International Conference on
By Domenico Bianculli, Carlo Ghezzi, Paola Spoletini
Issue Date:June 2007
pp. 13-20
<p>The increasing diffusion of service oriented computing in critical business transactions demands reliability and correctness of the workflow logic representing web service orchestrations.</p> <p>We present an approach for the formal ve...
 
On Accurate Automatic Verification of Publish-Subscribe Architectures
Found in: Software Engineering, International Conference on
By Luciano Baresi, Carlo Ghezzi, Luca Mottola
Issue Date:May 2007
pp. 199-208
The paper presents a novel approach based on Bogor for the accurate verification of applications based on Publish- Subscribe infrastructures. Previous efforts adopted standard model checking techniques to verify the application behavior, but they introduce...
 
Towards a Model-driven Approach to Develop Applications based on Physical Active Objects
Found in: Asia-Pacific Software Engineering Conference
By Luciano Baresi, Paolo Beretta, Roberto Fraccapani, Carlo Ghezzi, Filippo Pacifici
Issue Date:December 2006
pp. 173-182
<p>The increasing diffusion of ubiquitous communication infrastructures and physical active objects -like sensors and smart tags- is motivating the integration of these devices into advanced distributed systems. The novelty of these technologies has ...
 
Toward Open-World Software: Issue and Challenges
Found in: Computer
By Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi
Issue Date:October 2006
pp. 36-43
Traditional software development is based on the closed-world assumption that the boundary between system and environment is known and unchanging. However, this assumption no longer works within today's unpredictable open-world settings, which demands tech...
 
Flexible Processes for Evolvable Products
Found in: Software Metrics, IEEE International Symposium on
By Carlo Ghezzi
Issue Date:September 2005
pp. 1
No summary available.
   
Guest Editorial: Introduction to the Special Section
Found in: IEEE Transactions on Software Engineering
By Carlo Ghezzi, Bashar Nuseibeh
Issue Date:November 1999
pp. 782-783
No summary available.
 
Introduction to the Special Section
Found in: IEEE Transactions on Software Engineering
By Carlo Ghezzi, Mauro Pezzè
Issue Date:January 1999
pp. 1-2
No summary available.
 
Specification of Realtime Systems Using ASTRAL
Found in: IEEE Transactions on Software Engineering
By Alberto Coen-Porisini, Carlo Ghezzi, Richard A. Kemmerer
Issue Date:September 1997
pp. 572-598
<p><b>Abstract</b>—ASTRAL is a formal specification language for realtime systems. It is intended to support formal software development and, therefore, has been formally defined. The structuring mechanisms in ASTRAL allow one to build mo...
 
Guest Editorial Introduction to the Special Section
Found in: IEEE Transactions on Software Engineering
By Gianfranco Ciardo, Carlo Ghezzi
Issue Date:September 1996
pp. 601-602
No summary available.
 
Context-Oriented Programming for Adaptive Wireless Sensor Network Software
Found in: 2014 IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS)
By Mikhail Afanasov,Luca Mottola,Carlo Ghezzi
Issue Date:May 2014
pp. 233-240
We present programming abstractions for implementing adaptive Wireless Sensor Network (WSN) software. The need for adaptability arises in WSNs because of unpredictable environment dynamics, changing requirements, and resource scarcity. However, after about...
 
On requirements verification for model refinements
Found in: 2013 IEEE 21st International Requirements Engineering Conference (RE)
By Carlo Ghezzi,Claudio Menghi,Amir Molzam Sharifloo,Paola Spoletini
Issue Date:July 2013
pp. 62-71
Conventional formal verification techniques rely on the assumption that a system's specification is completely available so that the analysis can say whether or not a set of properties will be satisfied. On the contrary, modern development lifecycles call ...
   
Design and Implementation of PROSYT: A Distributed Process Support System
Found in: Enabling Technologies, IEEE International Workshops on
By Gianpaolo Cugola, Carlo Ghezzi
Issue Date:June 1999
pp. 32
The paper describes the design and implementation of a process support system (PROSYT), which is intended to provide guidance in performing business processes and cooperation among people over a local or geographically distributed network. In particular, i...
 
Towards a Software Engineering Approach to Web Site Development
Found in: Software Specification and Design, International Workshop on
By Francesco Coda, Carlo Ghezzi, Giovanni Vigna, Franca Garzotto
Issue Date:April 1998
pp. 8
The World Wide Web (WWW) has become
 
Towards spatial macroprogramming for sensing and actuating robot swarms
Found in: Proceedings of the 11th ACM Conference on Embedded Networked Sensor Systems (SenSys '13)
By Carlo Ghezzi, Luca Mottola, Kamin Whitehouse
Issue Date:November 2013
pp. 1-2
We present our ongoing work on the design of macroprogramming abstractions to program sensing and actuating applications using robot swarms. Robots can sample the environment and act on it where no other sensor can reach, e.g., to monitor the environment a...
     
Towards context-oriented programming in wireless sensor networks
Found in: Proceedings of the 2013 ACM conference on Pervasive and ubiquitous computing adjunct publication (UbiComp '13 Adjunct)
By Carlo Ghezzi, Luca Mottola, Mikhail Afanasov
Issue Date:September 2013
pp. 151-154
We present our ongoing work towards applying the context-oriented programming (COP) paradigm to wireless sensor networks (WSNs). Context---as a representation of the environment where the system operates---plays a key role in WSN applications, which must o...
     
An Analysis of Language-Level Support for Self-Adaptive Software
Found in: ACM Transactions on Autonomous and Adaptive Systems (TAAS)
By Carlo Ghezzi, Guido Salvaneschi, Matteo Pradella
Issue Date:July 2013
pp. 1-29
Self-adaptive software has become increasingly important to address the new challenges of complex computing systems. To achieve adaptation, software must be designed and implemented by following suitable criteria, methods, and strategies. Past research has...
     
SelfMotion: a declarative language for adaptive service-oriented mobile apps
Found in: Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering (FSE '12)
By Carlo Ghezzi, Gianpaolo Cugola, Giordano Tamburrelli, Leandro Sales Pinto
Issue Date:November 2012
pp. 1-4
In this demo we present SelfMotion: a declarative language and a run-time system conceived to support the development of adaptive, mobile applications, built as compositions of ad-hoc components, existing services and third party applications. The advantag...
     
Self-adaptive software needs quantitative verification at runtime
Found in: Communications of the ACM
By Carlo Ghezzi, Marta Kwiatkowska, Radu Calinescu, Raffaela Mirandola
Issue Date:September 2012
pp. 69-77
Continually verify self-adaptation decisions taken by critical software in response to changes in the operating environment.
     
ContextErlang: introducing context-oriented programming in the actor model
Found in: Proceedings of the 11th annual international conference on Aspect-oriented Software Development (AOSD '12)
By Carlo Ghezzi, Guido Salvaneschi, Matteo Pradella
Issue Date:March 2012
pp. 191-202
Self-adapting systems are becoming widespread in emerging fields such as autonomic, mobile and ubiquitous computing. Context-oriented programming (COP) is a promising language-level solution for the implementation of context-aware, self-adaptive software. ...
     
JavaCtx: seamless toolchain integration for context-oriented programming
Found in: Proceedings of the 3rd International Workshop on Context-Oriented Programming (COP '11)
By Carlo Ghezzi, Guido Salvaneschi, Matteo Pradella
Issue Date:July 2011
pp. 1-6
Context-oriented programming is an emerging paradigm addressing at the language level the issue of dynamic software adaptation and modularization of context-specific concerns. In this paper we propose JavaCtx, a tool which employs coding conventions to gen...
     
An evaluation of the adaptation capabilities in programming languages
Found in: Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems (SEAMS '11)
By Carlo Ghezzi, Guido Salvaneschi, Matteo Pradella
Issue Date:May 2011
pp. 50-59
In recent years the need for software applications to adapt to the environment in which they are situated has become common. Beside architectural approaches, language-level support for the development of adaptable and context-aware software have been inves...
     
Run-time efficient probabilistic model checking
Found in: Proceeding of the 33rd international conference on Software engineering (ICSE '11)
By Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli
Issue Date:May 2011
pp. 341-350
Unpredictable changes continuously affect software systems and may have a severe impact on their quality of service, potentially jeopardizing the system's ability to meet the desired requirements. Changes may occur in critical components of the system, cli...
     
Teaching software engineering using globally distributed projects: the DOSE course
Found in: Proceeding of the 2011 community building workshop on Collaborative teaching of globally distributed software development (CTGDSD '11)
By Bertrand Meyer, Carlo Ghezzi, Elisabetta Di Nitto, Giordano Tamburrelli, Julian Tschannen, Martin Nordio, Nazareno Aguirre, Vidya Kulkarni
Issue Date:May 2011
pp. 36-40
Distributed software development poses new software engineering challenges. To prepare student for these new challenges, we have been teaching software engineering using globally distributed projects. The projects were developed in collaboration with eleve...
     
The disappearing boundary between development-time and run-time
Found in: Proceedings of the FSE/SDP workshop on Future of software engineering research (FoSER '10)
By Carlo Ghezzi, Luciano Baresi
Issue Date:November 2010
pp. 17-22
Modern software systems are increasingly embedded in an open world that is constantly evolving, because of changes in the requirements, in the surrounding environment, and in the way people interact with them. The platform itself on which software runs may...
     
Change-point detection for black-box services
Found in: Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering (FSE '10)
By Carlo Ghezzi, Giordano Tamburrelli, Ilenia Epifani
Issue Date:November 2010
pp. 227-236
Modern software systems are increasingly built out of services that are developed, deployed, and operated by independent organizations, which expose them for use by potential clients. Services may be directly invoked by clients. They may also be composed b...
     
An empirical investigation into a large-scale Java open source code repository
Found in: Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM '10)
By Carlo Ghezzi, Chen Fu, Collin McMillan, Denys Poshyvanyk, Luca DeFerrari, Marco Comi, Mark Grechanik, Qing Xie, Stefano Crespi
Issue Date:September 2010
pp. 1-10
Getting insight into different aspects of source code artifacts is increasingly important -- yet there is little empirical research using large bodies of source code, and subsequently there are not much statistically significant evidence of common patterns...
     
Context oriented programming in highly concurrent systems
Found in: Proceedings of the 2nd International Workshop on Context-Oriented Programming (COP '10)
By Carlo Ghezzi, Guido Salvaneschi, Matteo Pradella
Issue Date:June 2010
pp. 1-3
Context Oriented Programming (COP) allows modularization of programs according to the cross-cutting concern of contexts. Context depending features are grouped in layers which can be activated at run time by triggering the associated behavioral variations....
     
 1  2 Next >>