Patrizio Pelliccione

Dipartimento di Informatica, Università degli Studi dell'Aquila
Via Vetoio, I-67010 L'Aquila (Italy)
Patrizio Pelliccione
First name(s): Patrizio
Last name(s): Pelliccione
Email: patrizio.pelliccione@univaq.it
Institute: University of L'Aquila

Publications of Patrizio Pelliccione
2017
Federico Ciccozzi, Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione and Jana Tumova, Engineering the Software of Robotic Systems, in: 39th International Conference on Software Engineering (ICSE2017 - Technical Briefings Paper), 2017
attachment
2016
Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione and Massimo Tivoli, Automatic Generation of detailed Flight Plans from High-level Mission Descriptions, in: International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, 2016
attachment
2015
Davide Di Ruscio and Patrizio Pelliccione, A model-driven approach to detect faults in FOSS systems (2015), in: Journal of Software: Evolution and Process - John Wiley & Sons, Ltd, 27:4(294-318)
attachment
[DOI]
2014
Davide Di Ruscio, Ivano Malavolta and Patrizio Pelliccione, A family of domain-specific languages for specifying civilian missions of multi-robot systems, in: 1st International Workshop on Model-Driven Robot Software Engineering, MORSE 2014 - Co-located with International Conference on Software Technologies: Applications and Foundations, STAF 2014, 2014
[URL]
Marco Autili, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione and Massimo Tivoli, ModelLAND: Where do models come from?, pages 162-187, Springer International Publishing, Lecture Notes in Computer Science - LNCS, volume 8378, 2014
attachment
[DOI]
[URL]
Patrizio Pelliccione, Open Architectures and Software Evolution: the case of Software Ecosystems, in: ASWEC Australasian Software Engineering Conference, 2014
attachment
Davide Di Ruscio, Ivano Malavolta and Patrizio Pelliccione, The Role of Parts in the System Behaviour, in: 6th International Workshop on Software Engineering for Resilient Systems (SERENE 2014), Budapest, Hungary, Springer, 2014
[DOI]
2013
Davide Di Ruscio, Ivano Malavolta and Patrizio Pelliccione, Engineering an Open-Source Platform for Mission Planning of Autonomous Quadrotors, in: A. Gorbenko, A. Romanovsky, V. Kharchenko (Eds). Software Engineering for Resilient Systems - 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings. Springer LNCS 8166, 2013
Paola Inverardi, Marco Autili, Davide Di Ruscio, Patrizio Pelliccione and Massimo Tivoli, Producing Software by Integration: Challenges and Research Directions (Keynote), in: ESEC/FSE'13: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013
attachment
[DOI]
Davide Di Ruscio and Patrizio Pelliccione, Supporting the Evolution of Free and Open Source Software Distributions, in: A. Gorbenko, A. Romanovsky, V. Kharchenko (Eds). Software Engineering for Resilient Systems - 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings. Springer LNCS 8166, pages 56-63, 2013
Ivano Malavolta, Patricia Lago, Henry Muccini, Patrizio Pelliccione and Antony Tang, What Industry needs from Architectural Languages: A Survey (2013), in: IEEE Transactions on Software Engineering (TSE), 39:6(869-891)
  • []:

    (2012 ISI IF = 2,588; Rank 3/104 in the category COMPUTER SCIENCE, SOFTWARE ENGINEERING (Quartile in Category = Q1); Last 5-Year IF = 3,371)


[DOI]
2012
Romina Eramo, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione and Alfonso Pierantonio, A model-driven approach to automate the propagation of changes among Architecture Description Languages (2012), in: Software and Systems Modeling, 11:1(29-53)
  • []:

    (2009 ISI IF = 1,533; Rank 29/93 in the category COMPUTER SCIENCE, SOFTWARE ENGINEERING (Quartile in Category = Q2);  Last 5-Year IF = _)


attachment
[DOI]
[URL]
Paola Inverardi, Patrizio Pelliccione, Michelangelo Lupone and Alessio Gabriele, Ad-Opera: Music-inspired Self-adaptive Systems, pages -, Computation for Humanity: Information Technology to Advance Society [Hardcover] - CRC Press, 2012
attachment
H. ter Beek Maurice, Henry Muccini and Patrizio Pelliccione, Assume-Guarantee Testing of Evolving Software Product Line Architectures, in: SERENE 2012, 4th International Workshop on Software Engineering for Resilient Systems, Pisa, Italy, pages 91-105, Lecture Notes in Computer Science - LNCS, 7527, 2012
Maik Merten, Falk Howar, Bernhard Steffen, Patrizio Pelliccione and Massimo Tivoli, Automated Inference of Models for Black Box Systems based on Interface Descriptions, in: 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Amirandes, Heraclion, Crete, 2012
Marco Autili, Paola Inverardi, Patrizio Pelliccione and Massimo Tivoli, Developing highly complex distributed systems: A software engineering perspective (2012), in: Journal of Internet Services and Applications (JISA), Special issue: FOME - The Future of Middleware, 3:1(15-22)
attachment
[DOI]
Davide Di Ruscio, Patrizio Pelliccione and Alfonso Pierantonio, EVOSS: a tool for managing the Evolution of Free and Open Source Software systems, in: the 34th International Conference on Software Engineering (ICSE 2012). Demo paper, 2012
  • []: (acceptance rate 30.7%)

[DOI]
Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione and Massimo Tivoli, Integration architecture synthesis for taming uncertainty in the Digital Space, pages 118-131, Springer-Verlag Berlin Heidelberg, Lecture Notes in Computer Science, volume 7539, 2012
attachment
[DOI]
[URL]
Davide Di Ruscio, Patrizio Pelliccione and Alfonso Pierantonio, Managing the Evolution of FOSS Systems (2012), in: ERCIM News, Special Theme: Evolving Software:88
[URL]
Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione and Alfonso Pierantonio, Model-driven techniques to enhance Architectural Languages Interoperability, in: 15th International Conference on Fundamental Approaches to Software Engineering (FASE), Tallinn, Estonia, 2012
  • []: (acceptance rate 24.6%)

attachment
[DOI]
Rich Hilliard, Ivano Malavolta, Henry Muccini and Patrizio Pelliccione, On the Composition and Reuse of Viewpoints across Architecture Frameworks, in: 10th Working IEEE/IFIP Conference on Software Architecture (WICSA) & 6th European Conference on Software Architecture (ECSA) - WICSA/ECSA 2012, Helsinki, Finland, 2012
  • []: (acceptance rate 20.8%)
2011
Davide Di Ruscio and Patrizio Pelliccione, Managing the Evolution of Free and Open Source Software Complex Systems, in: V Conferenza Italiana sul Software Libero - Milano 23-24 Giugno 2011, 2011
Roberto Di Cosmo, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio and Stefano Zacchiroli, Supporting Software Evolution in Component-Based FOSS Systems (2011), in: Science of Computer Programming, 76:12(1144-1160)
  • []:

    (2009 ISI IF = 1,459; Rank 33/93 in the category COMPUTER SCIENCE, SOFTWARE ENGINEERING (Quartile in Category = Q2);  Last 5-Year IF = 1,365)


attachment
[DOI]
2010
Antonio Cicchetti, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio and Stefano Zacchiroli, A Model Driven Approach to Upgrade Package Based Software Systems, chapter of the book Evaluation of Novel Approaches to Software Engineering, pages 262--276, Springer, Heidelberg, Communications in Computer and Information Science (CCIS), volume 69, 2010
attachment
Alessio Gabriele, Michelangelo Lupone, Paola Inverardi and Patrizio Pelliccione, Ad-Opera: Music-inspired Self-adaptive Systems, in: Proceedings of the Foundations of Software Engineering (FSE) and NITR&D/SPD Working Conference on the Future of Software Engineering Research, pages 119-124, 2010

attachment
Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione and Alfonso Pierantonio, ByADL: an MDE framework for building extensible Architecture Description Languages, in: 4th European Conference on Software Architecture (ECSA 2010), LNCS 6285, Copenhagen, Denmark, pages 527-531, Springer-Verlag Berlin Heidelberg, 2010
attachment
Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione and Alfonso Pierantonio, Developing next generation ADLs through MDE techniques, in: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010) - Volume 1, Cape Town, South Africa, pages 85--94, ACM, 2010

attachment
[DOI]
Antonio Bucchiarone, Hartmut Ehrig, Claudia Ermel, Olga Runge and Patrizio Pelliccione, Formal analysis and verification of self-healing systems, in: Fundamental Approaches to Software Engineering (FASE 2010), Sringer-Verlag Berlin Heidelberg, 2010
  • []: (acceptance rate 25%)

attachment
Ivano Malavolta, Henry Muccini, Patrizio Pelliccione and Damien A. Tamburri, Providing Architectural Languages and Tools Interoperability through Model Transformation Technologies (2010), in: IEEE Transactions on Software Engineering (TSE), 36:1(119-140)
  • []:

    (2009 ISI IF = 3,750; Rank 1/93 in the category COMPUTER SCIENCE, SOFTWARE ENGINEERING (Quartile in Category = Q1);  Last 5-Year IF = 4,865)


attachment
[DOI]
Rich Hilliard, Henry Muccini, Ivano Malavolta and Patrizio Pelliccione, Realizing architecture frameworks through megamodelling techniques, in: 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), 2010

attachment
[DOI]
Patrizio Pelliccione, Massimo Tivoli, Luca Cavallaro, Elisabetta Di Nitto and Matteo Pradella, Synthesizing adapters for conversational web-services from their WSDL interface, in: Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010), Copytight 2010 ACM, 2010

attachment
2009
Antonia Bertolino, Paola Inverardi, Patrizio Pelliccione and Massimo Tivoli, Automatic Synthesis of Behavior Protocols for Composable Web-Services, in: Proceedings of The 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), Amsterdam, The Netherlands, pages 141-150, 2009

attachment
[DOI]
Patrizio Pelliccione, Paola Inverardi and Henry Muccini, CHARMY: A Framework for Designing and Verifying Architectural Specifications (2009), in: IEEE Transactions on Software Engineering (TSE), 35:3(325 - 346)
  • []:

    (2009 ISI IF = 3,750; Rank 1/93 in the category COMPUTER SCIENCE, SOFTWARE ENGINEERING (Quartile in Category = Q1);  Last 5-Year IF = 4,865)


attachment
[DOI]
Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander Romanovsky and Avelino Zorzo, Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions : a comparative study (2009), in: Journal of Systems and Software, 82, issue 2(207-228)
  • []:

    (2009 ISI IF = 1,340; Rank 38/93 in the category COMPUTER SCIENCE, SOFTWARE ENGINEERING (Quartile in Category = Q2);  Last 5-Year IF = 1,290)


attachment
[DOI]
Ivano Malavolta, Henry Muccini and Patrizio Pelliccione, Integrating AADL within a Multi-domain Modeling Framework, in: IEEE International Conference on Engineering of Complex Computer Systems, pages 341-346, IEEE Computer Society, 2009
attachment
[DOI]
Antonio Cicchetti, Henry Muccini, Patrizio Pelliccione and Alfonso Pierantonio, Towards a Framework for Distributed and Collaborative Modeling, in: IEEE International Workshops on Enabling Technologies, pages 149-154, IEEE Computer Society, 2009
attachment
[DOI]
Antonio Cicchetti, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio and Stefano Zacchiroli, Towards a Model Driven Approach to Upgrade Complex Software Systems, in: proceedings of the 4th International Working Conference on Evaluation of Novel approaches to Software Engineering (ENASE 2009), Milan - Italy, 2009
attachment
Paola Inverardi, Patrizio Pelliccione and Massimo Tivoli, Towards an assume-guarantee theory for adaptable systems, in: International Workshop on Software Engineering for Adaptive and Self-Managing Systems, pages 106-115, IEEE Computer Society, 2009
attachment
[DOI]
Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio and Stefano Zacchiroli, Towards maintainer script modernization in FOSS distributions, in: International Workshop on Open Component Ecosystems (IWOCE2009), ESEC/FSE 2009, Amsterdam, The Netherlands, 2009

attachment
Doron Peled, Patrizio Pelliccione and Paola Spoletini, Wiley Encyclopedia of Computer Science and Engineering 6th Edition, chapter Model Checking, pages 1904-1920, Benjamin W. Wah, volume 3, 2009
attachment
[DOI]
2008
Patrizio Pelliccione, Massimo Tivoli, Antonio Bucchiarone and Andrea Polini, An architectural approach to the correct and automatic assembly of evolving component-based systems (2008), in: Journal of Systems and Software, 81:12(2237-2251)
  • []:

    (2009 ISI IF = 1,340; Rank 38/93 in the category COMPUTER SCIENCE, SOFTWARE ENGINEERING (Quartile in Category = Q2);  Last 5-Year IF = 1,290)


attachment
[DOI]
Ivano Malavolta, Henry Muccini and Patrizio Pelliccione, DUALLY: a framework for Architectural Languages and Tools Interoperability, in: 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE2008), L'Aquila, Italy, IEEE Computer Science Press, 2008
attachment
Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione and Alexander Romanovsky, Engineering Fault Tolerant Systems (2008), in: International Journal of Computer Systems Science and Engineering, 23:5
Antonio Bucchiarone, Davide Di Ruscio, Henry Muccini and Patrizio Pelliccione, From Requirements to Java code: an Architecture-centric Approach for producing quality systems, chapter Model-Driven Software Development: Integrating Quality Assurance, Information Science Reference, 2008
attachment
Paolo Gianrossi, Christian Melchiorre and Patrizio Pelliccione, POPEYE, a Peer-to-peer Collaborative Working Environment over Mobile Ad-hoc Networks, in: In proceeding of the International Conference eChallenges e2008, Stockholm, Sweden, 2008
Henry Muccini and Patrizio Pelliccione, Simulating Software Architectures for Functional Analysis, in: Working IEEE/IFIP Conference on Software Architecture, pages 289-292, IEEE Computer Society, 2008
  • []: (acceptance rate 27%)

attachment
[DOI]
Marco Autili and Patrizio Pelliccione, Towards a Graphical Tool for Refining User to System Requirements (2008), in: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 211(147-157)
attachment
[DOI]
2007
Nicolas Guelfi, Patrizio Pelliccione, Henry Muccini and Alexander Romanovsky, An Introduction to Software Engineering and Fault Tolerance, chapter Software Engineering of Fault Tolerant Systems, Series on Software Engineering and Knowledge Eng., 2007
[URL]
Henry Muccini, Patrizio Pelliccione and Alexander Romanovsky, Architecting Fault Tolerant Systems, in: Sixth Working IEEE/IFIP Conference on Software Architecture (WICSA'07), Mumbai, India, 2007
[DOI]
[URL]
Antonio Bucchiarone, Henry Muccini and Patrizio Pelliccione, Architecting Fault-tolerant Component-based Systems: from requirements to testing, Elsevier Science Publishers B. V. Amsterdam, The Netherlands, The Netherlands, pages 77-90, Electronic Notes in Theoretical Computer Science, 2007
Marco Autili, Paola Inverardi and Patrizio Pelliccione, Graphical Scenarios for Specifying Temporal Properties : an Automated Approach (2007), in: Automated Software Engineering, Volume 14, Number 3(293-340)
  • []:

    (2009 ISI IF = 1,267; Rank 43/93 in the category COMPUTER SCIENCE, SOFTWARE ENGINEERING (Quartile in Category = Q2);  Last 5-Year IF = _)


attachment
[DOI]
Hoa Dung Ha Duong, Christian Melchiorre, Eike Michael Meyer, Ignacio Nieto, Marcel Arrufat, Patrizio Pelliccione and Frederique Tastet-Cherel, POPEYE: a simple and reliable collaborative working environment over mobile ad-hoc networks, in: The 3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2007)., Crowne Plaza White Plains, New York, USA, pages 399--407, IEEE Computer Science Press, 2007
[DOI]
[URL]
Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione and Alexander Romanovsky, Workshops summaries: EFTS 2007: the 2nd international workshop on engineering fault tolerant systems, in: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering ESEC-FSE '07, Dubrovnik, Croatia., ACM press, 2007
2006
Antonio Bucchiarone, Henry Muccini and Patrizio Pelliccione, A Practical Architecture-centric Analysis Process, in: Second International Conference on Quality of Software Architectures, QoSA 2006, Malardalen University, Vasteras near Stockholm, Sweden, pages 127--144, LNCS, 2006
Marco Autili, Paola Inverardi and Patrizio Pelliccione, A Scenario Based Notation for Specifying Temporal Properties, in: 5th International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06), Shanghai, China, 2006

attachment
Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander Romanovsky and Avelino Zorzo, CAA-DRIP: a framework for implementing Coordinated Atomic Actions, in: 17th International Symposium on Software Reliability Engineering, ISSRE 2006, Raleigh, North Carolina, USA, pages 385-394, IEEE Computer Society, 2006
[DOI]
[URL]
Daniela Colangelo, Daniele Compare, Paola Inverardi and Patrizio Pelliccione, Reducing Software Architecture Models Complexity: a Slicing and Abstraction Approach, in: 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE 2006), Paris, France, 2006
  • []: (Acceptance rate: 31%)
Alfredo Capozucca, Nicolas Guelfi and Patrizio Pelliccione, The Fault-Tolerant Insulin Pump Therapy, chapter of the book "Rigorous Development of Complex Fault-Tolerant Systems", Springer-Verlag, 2006
Antonio Bucchiarone, Andrea Polini, Patrizio Pelliccione and Massimo Tivoli, Towards an architectural approach for the dynamic and automatic composition of software components, in: The Role of Software Architecture for Testing and Analysis (ROSATEA06), Portland, Maine USA, pages 12-21, ACM, 2006

attachment
[DOI]
Davide Di Ruscio, Henry Muccini, Alfonso Pierantonio and Patrizio Pelliccione, Towards Weaving Software Architecture Models, in: International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, pages 103-112, IEEE Computer Society, 2006
attachment
[DOI]
2005
Paola Inverardi, Henry Muccini and Patrizio Pelliccione, CHARMY: An Extensible Tool for Architectural Analysis, in: ESEC-FSE'05, The fifth joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering. Research Tool Demos, Lisbon, Portugal, 2005
Paola Inverardi, Henry Muccini and Patrizio Pelliccione, DUALLY: Putting in Synergy UML 2.0 and ADLs, in: 5th IEEE/IFIP Working Conference on Software Architecture (WICSA 2005), Pittsburgh, PA, 2005
Alfredo Capozucca, Barbara Gallina, Nicolas Guelfi and Patrizio Pelliccione, Modeling Exception Handling: a UML2.0 Platform Independent Profile for CAA, in: Workshop on Exception Handling in Object Oriented Systems: Developing Systems that Handle Exceptions, in conjunction with ECOOP 2005, Glasgow (Scotland), 2005
Mauro Caporuscio, Henry Muccini, Patrizio Pelliccione and Ezio Di Nisio, Rapid System Development via Product Line Architecture Implementation, in: Proceedings of the 2nd International Workshop RISE 2005 Rapid Integration of Software Engineering techniques, Heraklion Crete, GREECE, 2005
Patrizio Pelliccione, Henry Muccini, Antonio Bucchiarone and Fabrizio Facchini, TeStor: Deriving Test Sequences from Model-based Specifications, in: 8th International SIGSOFT Symposium on Component-based Software Engineering, St. Louis, Missouri, USA, 2005
  • []: (Acceptance rate 25%)
Alfredo Capozucca, Nicolas Guelfi and Patrizio Pelliccione, The Fault-Tolerant Insulin Pump Therapy, in: Workshop on Rigorous Engineering of Fault Tolerant Systems Event Information, in conjunction with Formal Methods 2005, University of Newcastle upon Tyne, UK, 2005
2004
Mauro Caporuscio, Paola Inverardi, Henry Muccini and Patrizio Pelliccione, Charmy: A Framework for Designing and Validating Architectural Specifications, in: ERCIM News No. 58 (July 2004), Special Theme on Automated Software Engineering., 2004
Mauro Caporuscio, Paola Inverardi and Patrizio Pelliccione, Compositional Verification of Middleware-Based Software Architecture Descriptions, in: International Conference on Software Engineering, pages 221-230, IEEE Computer Society, 2004
  • []: (acceptance rate 13%)

[DOI]
Mauro Caporuscio, Paola Inverardi and Patrizio Pelliccione, Formal Analysis of Architectural Patterns, in: First European Workshop on Software Architecture - EWSA 2004, St Andrews, Scotland, 2004
Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione and Pierluigi Pierini, Model-Checking plus Testing: from Software Architecture Analysis to Code Testing, in: 1st International Workshop on Integration of Testing Methodologies (ITM 2004), Toledo, Spain, 2004
Vittorio Cortellessa, Paola Inverardi, Antinisca Di Marco, Henry Muccini and Patrizio Pelliccione, Using UML for SA-based Modeling and Analysis, in: Int. Workshop on Software Architecture Description & UML. Hosted at the Seventh International Conference on UML Modeling Languages and Applications., Lisbon, Portugal, 2004
2003
Daniele Compare, Paola Inverardi, Patrizio Pelliccione and Alessandra Sebastiani, Integrating model-checking architectural analysis and validation in a real software life-cycle, in: In the 12th International Formal Methods Europe Symposium (FME 2003), Pisa Italy, pages 114--132, LNCS, 2003
  • []: (Acceptance rate 31%)
2002
Paola Inverardi, Fabio Mancinelli, Henry Muccini and Patrizio Pelliccione, An Experience in Architectural Extension: Active Object in J2EE, in: In the International Workshop on scientific engineering of Distributed Java applications (FIDJI'2002), Luxembourg, Luxembourg, 2002
2001
Paola Inverardi, Henry Muccini and Patrizio Pelliccione, Automated Check of Architectural Models Consistency Using SPIN, in: Automated Software Engineering Conference Proceedings (ASE 2001), pages 346, IEEE Computer Society, 2001
  • []: (Acceptance rate 20%)

[DOI]
Paola Inverardi, Henry Muccini and Patrizio Pelliccione, Checking consistency between architectural models using SPIN, in: Proc. ICSE 2001 Workshop ``From Software Requirements to Architectures" (STRAW'01), 2001