Analysis and Testing of Component-based Systems and Architectures
 Dipartimento di Informatica, Universita' degli Studi dell'Aquila, a.a.: 2005 - 2006		    

.:. www.di.univaq.it/muccini/CBSAnalysis .:.
Home Course Overview  Schedule and Notes Mandatory
Readings		 Students Area Exam
 Papers		 Projects NEWS
(Dec, 02)
 

Instructor:                       
Dr. Henry Muccini
room: A1/10, Coppito II

Lecture:                          
Monday:12:00 - 13:30 [C.1.12]
Tuesday: 17:00 - 19:00 [C.1.5]
Wednesday :9:30 - 11:30 [1.6]

Last Update:   
Dec, 02 -2006

Contact me:                    
email: muccini@di.univaq.it


Exam Papers

Exam Papers Modalita' Consegna Metriche di Valutazione Note

Lista Exam Papers:
Gli exam paper gia' assegnati e discussi sono marcati in verde. Gli exam paper gia' richiesti, sono invece in giallo. Essi potranno essere selezionati da altri studenti, solo previa richiesta al docente.

Topic

Paper

 Course
ADLs Component- and aspect-based ADL. M. Pinto, L. Fuentes, and J. M. Troya. DAOP-ADL: an architecture description language for dynamic component and aspect-based development. In GPCE ’03: Proc. of the 2 int. conf. on Generative programming and component engineering, pages 118–137, 2003. A&T
UML as ADL UML 2.0 as ADL "as is":
H.-E. Eriksson, M. Penker, B. Lyons, and D. Fado. UML 2 Toolkit, chapter Ch. 7, Representing Architecture, pages 251–279. John Wiley and Sons, 2004. (Berardinelli)
From UML 1.4 to 2.0 for SA modeling: Perez-Martinez, J.E., and Sierra-Alonso, A. UML 1.4 versus UML 2.0 as languages to describe Software Architectures. In EWSA 2004, LNCS 3047, pp. 88-102.

XML as an ADL:
E. M. Dashofy, A. van der Hoek, R. N. Taylor
A Highly-Extensible, XML-Based Architecture Description Language. In WICSA 2001 (A.Lucia Paoletti)
 		 A&T

UML 1.x, UML 2 and components:
 J.A. Street, R.G. Pettit IV, “The Impact of UML 2.0 on Existing UML 1.4 Models”, Proc. of MoDELS 2005

C. Kobryn, “Modeling Components and Frameworks with UML”, Communications of the ACM, Vol. 43, No. 10, October 2000.

 SE II
CB systems UML Components Process A&T
Distributed Component-based design. Budgen. "Software Design" book. Chapter on component-based design. A&T
Properties of Component-based systems:
 D. Hamlet, “Properties of Software Systems Synthesized from Components”, Journal of Systems and Software, 2002.		 SEII
Properties of Component-based systems:
 I. Crnkovic, M. Larsson, “Classification of quality attributes for predictability in component-based systems”, Proceedings of WADS 2004.		 SEII
Dependability  J. Voas . Dependability Certification of Software Components, Journal of Systems and Software, 2000 SEII
SA style Modeling and Validation of Service-Oriented Architectures: Application vs. Style, Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró. In ESEC/FSE 2003 (Gianluca D'Andrea) A&T
Composing Architectural Styles from Architectural Primitives, Nikunj Mehta, Nenad Medvidovic, University of Southern California. In ESEC/FSE 2003. A&T
Merging Component Models and Architectural Styles. David Rosenblum et. al. In ISAW-3 A&T
How to write a paper

Writing Good Software Engineering Research Papers. Mary Shaw. In Proc. 25th Int. Conf. on Software Engineering, IEEE Computer Society, 2003, pp. 726-736.

 A&T
Model-based Testing A. Hartman and K. Nagin. The AGEDIS Tools for Model Based Testing. In Int. Symposium on Software Testing and Analysis) (ISSTA 2004), Boston, Massachusetts. A&T
A. Jefferson Offutt, Aynur Abdurazik: Generating Tests from UML Specifications. In Proc. UML 1999 Conference A&T
Regression
 Testing		 A. Orso, N. Shi, and M. J. Harrold. Scaling regression testing to large software systems. In Proceedings of the 12th ACM SIGSOFT Symposium on the Foundations
of Software Engineering (FSE 2004), pages 241–252, Newport Beach, CA, USA,November 2004.		 A&T
T. L. Graves, M. J. Harrold, J.-M. Kim, A. Porter, and G. Rothermel. An Empirical Study of Regression Test Selection Techniques. In Proc. of the 20th Int. Conf. on
Software Engineering (ICSE’98), pages 188–197, Japan, April 1998. (Cinzia Giugliani)		 A&T
Model-Checking A. Knapp, S. Merz, and C. Rauh. Model Checking Timed UML State Machines and Collaborations. In On FTRTFT 2002:7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems. Also in LNCS, vol. 2469, pp. 395-414 (2002). A&T
Uchitel S., Chatley R., Kramer J. and Magee J., “LTSA-MSC : Tool support for behavioral model elaboration using scenarios”,
(Tool Demo in 9th International Conference on Tools and Algorithms for the construction and Analysis of Systems (TACAS 2003), ETAPS 2003, Warsaw, Poland, April 2003).		 A&T
Plugin and ADL Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Predictable Dynamic Plugin Systems. In FASE 2004, pages 129-143. A&T
Product Line + Testing A. Bertolino, S. Gnesi, "PLUTO: A Test Methodology for Product Families" Proc. Software Product-Family Engineering: 5th Int. Workshop, PFE 2003, Siena, Italy, November 4-6, 2003,LNCS 3014, 2004, p. 181-197. A&T
H. Gomaa and M.E. Shin, "Multiple-View Meta-Modeling of Software Product Lines", Proc. IEEE Int. Conference on the Engineering of Complex Computer Systems, Greenbelt, MD, Dec. 2002. A&T
Service Oriented Architecture A Survey of Patterns for Service-Oriented Architectures. Uwe Zdun, C. Hentrich, W.M.P. van der Aalst A&T
Speaking a Common Language: A Conceptual Model for Describing Service-Oriented Systems.
M. Colombo, E. Di Nitto, M. Di Penta, D. Distante, and M. Zucca. International Conference on Service Oriented Computing (ICSOC 2005), December 2005 (Alessandro Vizzarro)		 A&T
Model-checking + Testing Heimdahl, M. P., Rayadurgam, S., Visser, W., Devaraj, G., Gao, J.: Auto-generating test sequences using model checkers: A case study. In FATES 2003. A&T
Gargantini, A., Heitmeyer, C. L.: Using model checking to generate tests from requirements specifications. In ESEC / SIGSOFT FSE, pages 146-162, 1999 A&T
Integration of Analysis Techniques V. Cortellessa, A. Di Marco, P. Inverardi, F. Mancinelli, P. Pelliccione, «A framework for integration of functional and non-functional analysis of software architectures», Proc. International Workshop on Test and Analysis of Component Based Systems in conjunction with ETAPS 2004, 2004 -- to appear A&T
Dynamic SA   A&T
 

 

 A&T

Modalita' di Consegna Exam Papers:

Dovrete consegnarmi:
a) documento/articolo che descriva il vostro lavoro.
b) presentazione PPT (o altro formato)
c) tutti gli articoli letti
d) tutti gli eventuali case study o codice realizzati

a]Il documento non ha una lunghezza predefinita. Esso deve pero' focalizzarsi soprattutto su cio' che VOI avete imparato, capito, applicato, sviluppato, cioe' su tutto cio' che non si trova su altri articoli. Ricordatevi di listare i riferimenti bibliografici utilizzati.
Il documento dovra' contenere, in modo esplicito, una sezione di "considerazioni", nonche' il riferimento bibliografico a tutti gli articoli utilizzati. Ricordatevi di tenere sempre in considerazione gli articoli piu' rilevanti (piu' recenti, pubblicati su Rivista, libri).

b] La presentazione dovra' tassativa durare non piu' di 15 minuti, dando una idea high-level (comprensibile agli altri studenti) del vostro lavoro. I dettagli saranno invece introdotti nel documento.

Metriche di Valutazione Progetti:

Ecco alcuni dei parametri che verranno utilizzati per valutare i vostri progetti ed exam paper:

  • Capacita' critica e capacita' di dare propri pareri

  • Capacita' di comparazione con altri approcci o altri temi studiati

  • Capacita' di aggiungere del "nuovo"

  • Capacita' di sapere "integrare" le varie conoscenze acquisite

  • Livello di dettaglio

  • Complessita' del topic discusso e conoscenze pregresse

  • Comprensibilita' della presentazione

Note:

1) Volevo avvisarvi che le presentazioni dei vostri elaborati verranno rese disponibili on-line

 
 
Page realized and maintained by Henry Muccini