diff --git a/content/SEN/surfing.md b/content/SEN/surfing.md index c5e8a8f5..87ebe9be 100644 --- a/content/SEN/surfing.md +++ b/content/SEN/surfing.md @@ -1493,7 +1493,7 @@ The full text of the _Surfing_ columns are available to members in the [ACM Digi * [http://en.wikipedia.org/wiki/Design\_Patterns](https://en.wikipedia.org/wiki/Design_Patterns):   Design Patterns: Elements of Reusable Object-Oriented Software * [http://books.google.com/books?id=nfpNnwEACAAJ](https://books.google.com/books?id=nfpNnwEACAAJ):   Software Maintenance: Concepts and Practice * [http://www.amazon.com/Ellis-Horowitz/e/B001HCW8VO/ref=ntt\_dp\_epwbk\_0](https://www.amazon.com/Ellis-Horowitz/e/B001HCW8VO/ref=ntt_dp_epwbk_0):   Computer Algorithms -* [www.acm.org/serving/se/code.htm](www.acm.org/serving/se/code.htm):   Software Engineering Code of Ethics and Professional Practice +* [www.acm.org/serving/se/code.htm](https://www.acm.org/serving/se/code.htm):   Software Engineering Code of Ethics and Professional Practice * [http://dl.acm.org/citation.cfm?id=559784](http://dl.acm.org/citation.cfm?id=559784):   Metrics and Models in Software Quality Engineering * [http://cc2e.com](http://cc2e.com):   Code Complete * [http://www.psmsc.com](http://www.psmsc.com ):   Practical Software Measurement: Objective Information for Decision Makers @@ -1701,7 +1701,7 @@ The full text of the _Surfing_ columns are available to members in the [ACM Digi * [https://aws.amazon.com](https://aws.amazon.com ):   Amazon Web Services * [https://cloud.google.com](https://cloud.google.com):   Google Cloud Platform * [https://azure.microsoft.com/en-us](https://azure.microsoft.com/en-us):   Microsoft Azure -* [www.ibm.com/cloud-computing](www.ibm.com/cloud-computing):   IBM Cloud +* [www.ibm.com/cloud-computing](https://www.ibm.com/cloud-computing):   IBM Cloud * [http://www.appscale.com](http://www.appscale.com ):   AppScale * [http://www8.hp.com/us/en/cloud/helion-overview.html](http://www8.hp.com/us/en/cloud/helion-overview.html ):   HPE Helion * [https://www.cloudfoundry.org](https://www.cloudfoundry.org ):   Cloud Foundry @@ -1836,4 +1836,4 @@ The full text of the _Surfing_ columns are available to members in the [ACM Digi _http://www.acm.org/sigsoft/SEN/ Last update: 15 Jun 2017 -_ \ No newline at end of file +_ diff --git a/content/about.md b/content/about.md index 2cab9508..b84c52b3 100644 --- a/content/about.md +++ b/content/about.md @@ -25,7 +25,7 @@ Here are selected topics from the Wiki as well other historical information: * [ISSTA History Page](http://historywiki.acm.org/sigs/SIGSOFT-ISSTA) * [Software Engineering Academic Genealogy](http://web.engr.illinois.edu/~taoxie/sefamily.htm) * [Software Engineering Conference Statistics](http://www.cs.illinois.edu/homes/taoxie/seconferences.htm) -* [Software Engineering Dissertations](/dissertations.html) +* [Software Engineering Dissertations](/dissertations/) Policies and Guidelines ----------------------- @@ -52,31 +52,31 @@ Information on past SIGSOFT activities is in the annual reports: [2019-2020](/annualrpt/2020annualreport) [2018-2019](/annualrpt/2019annualreport) -[2017-2018](/annualrpt/2018annualreport.md) -[2016-2017](/annualrpt/2017annualreport.md) -[2015-2016](/annualrpt/2016annualreport.md) - -[2014-2015](/annualrpt/2015annualreport.md) -[2013-2014](/annualrpt/2014annualreport.md) -[2012-2013](/annualrpt/2013annualreport.md) -[2011-2012](/annualrpt/2012annualreport.md) -[2010-2011](/annualrpt/2011annualreport.md) - -[2009-2010](/annualrpt/2010annualreport.md) -[2008-2009](/annualrpt/2009annualreport.md) -[2007-2008](/annualrpt/2008annualreport.md) -[2006-2007](/annualrpt/2007annualreport.md) -[2005-2006](/annualrpt/2006annualreport.md) - -[2004-2005](/annualrpt/2005annualreport.md) -[2003-2004](/annualrpt/2004annualreport.md) -[2002-2003](/annualrpt/2003annualreport.md) -[2001-2002](/annualrpt/2002annualreport.md) -[2000-2001](/annualrpt/2001annualreport.md) - - -[1999-2000](/annualrpt/2000annualreport.md) -[1998-1999](/annualrpt/1999annualreport.md) -[1997-1998](/annualrpt/1998annualreport.md) -[1996-1997](/annualrpt/1997annualreport.md) -[1995-1996](/annualrpt/1996annualreport.md) +[2017-2018](/annualrpt/2018annualreport/) +[2016-2017](/annualrpt/2017annualreport/) +[2015-2016](/annualrpt/2016annualreport/) + +[2014-2015](/annualrpt/2015annualreport/) +[2013-2014](/annualrpt/2014annualreport/) +[2012-2013](/annualrpt/2013annualreport/) +[2011-2012](/annualrpt/2012annualreport/) +[2010-2011](/annualrpt/2011annualreport/) + +[2009-2010](/annualrpt/2010annualreport/) +[2008-2009](/annualrpt/2009annualreport/) +[2007-2008](/annualrpt/2008annualreport/) +[2006-2007](/annualrpt/2007annualreport/) +[2005-2006](/annualrpt/2006annualreport/) + +[2004-2005](/annualrpt/2005annualreport/) +[2003-2004](/annualrpt/2004annualreport/) +[2002-2003](/annualrpt/2003annualreport/) +[2001-2002](/annualrpt/2002annualreport/) +[2000-2001](/annualrpt/2001annualreport/) + + +[1999-2000](/annualrpt/2000annualreport/) +[1998-1999](/annualrpt/1999annualreport/) +[1997-1998](/annualrpt/1998annualreport/) +[1996-1997](/annualrpt/1997annualreport/) +[1995-1996](/annualrpt/1996annualreport/) diff --git a/content/annualrpt/2019annualreport.md b/content/annualrpt/2019annualreport.md index cf78fda1..002452d2 100644 --- a/content/annualrpt/2019annualreport.md +++ b/content/annualrpt/2019annualreport.md @@ -238,7 +238,7 @@ year: composed of two tuning forks. The logo will be rolled out throughout the rest of the year. - ![SIGSOFT logo](/images/sigsoft_t.png) + ![SIGSOFT logo](/img/sigsoft.png) **BROADENING PARTICIPATION** @@ -300,4 +300,3 @@ continue to face: access landscape will affect SIGSOFT and how ACM\'s policies, practices, and initiatives can work for SIGSOFT members. - diff --git a/content/awards/distinguishedPaper.md b/content/awards/distinguishedPaper.md index ffbccefe..49591d37 100644 --- a/content/awards/distinguishedPaper.md +++ b/content/awards/distinguishedPaper.md @@ -41,7 +41,7 @@ Conference organizers can also decide how they want to notify the recipients of The conference organizers prepare the certificates. Contact J.C. Peeples (peeples at hq.acm.org) to get a template you may use to create certificates. Please inform chair\_sigsoft (at) acm (dot) org of the award winners, so that they can be added to this page. -If the TMRF indicated that a best paper award would be given, the organizers will receive an email from [\[email protected\]](/cdn-cgi/l/email-protection) after the conference, asking for further details. Please respond to this email as well, so that the award winners will be listed in the ACM digital library. +If the TMRF indicated that a best paper award would be given, the organizers will receive an email from ACM after the conference, asking for further details. Please respond to this email as well, so that the award winners will be listed in the ACM digital library. diff --git a/content/dissertations.md b/content/dissertations.md index 976faac2..148e1cbc 100644 --- a/content/dissertations.md +++ b/content/dissertations.md @@ -22,7 +22,7 @@ Dissertations ### 2020 -[Miguel Olivero](https://www.molivero.com). [A Framework For Security Assessment Of Systems Of Systems](molivero@us.es) . Universidad de Sevilla (Nov 19, 2020, advisor: Maria José Escalona. +[Miguel Olivero](https://www.molivero.com). [A Framework For Security Assessment Of Systems Of Systems](mailto:molivero@us.es) . Universidad de Sevilla (Nov 19, 2020, advisor: Maria José Escalona. [Roberto Casadei](https://www.unibo.it/sitoweb/roby.casadei/en). [Engineering Self-Adaptive Collective Processes for Cyber-Physical Ecosystems](http://amsdottorato.unibo.it/9380/3/casadei_roberto_tesi.pdf). Alma Mater Studiorum - Universitá di Bologna (Feb 4, 2020, advisor: Mirko Viroli). @@ -40,7 +40,7 @@ Dissertations [Tushar Sharma](http://www.tusharma.in/). [Extending Maintainability Analysis Beyond Code Smells](http://www.tusharma.in/thesis/PhD_thesis_TusharSharma.pdf). Athens University of Economics and Business (May 2, 2019, advisor: Diomidis Spinellis). -[Christian Macho](https://mitschi.github.io/). [Preventing and Repairing Build Breakage](christian.macho@gmx.at). University of Klagenfurt (May 8, 2019, advisor: Martin Pinzger). +[Christian Macho](https://mitschi.github.io/). [Preventing and Repairing Build Breakage](mailto:christian.macho@gmx.at). University of Klagenfurt (May 8, 2019, advisor: Martin Pinzger). [Akond Rahman](https://akondrahman.github.io/). [Anti-patterns in Infrastructure as Code](http://www.lib.ncsu.edu/resolver/1840.20/36715). North Carolina State University (Jun 13, 2019, advisor: Laurie Williams). @@ -58,7 +58,7 @@ Dissertations [Thomas Vogel](https://thomas-vogel.github.io/). [Model-Driven Engineering of Self-Adaptive Software](https://thomas-vogel.github.io/publications/phd). Hasso Plattner Institute, University of Potsdam, Germany (Mar 19, 2018, advisor: Holger Giese). -[Siba Mishra](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=ubHWhZjqV8VZYZe0eLavNbAh2aGHnmcWS8JsytVsBmQ= "Reveal this email address"). [Efficient Cost Estimation And Testing Approaches For Soa Systems](sibamishracse@gmail.com). Indian Institute of Technology (Indian School of Mines) Dhanbad (Mar 23, 2018, advisor: Prof. Chiranjeev Kumar). +[Siba Mishra](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=ubHWhZjqV8VZYZe0eLavNbAh2aGHnmcWS8JsytVsBmQ= "Reveal this email address"). [Efficient Cost Estimation And Testing Approaches For Soa Systems](mailto:sibamishracse@gmail.com). Indian Institute of Technology (Indian School of Mines) Dhanbad (Mar 23, 2018, advisor: Prof. Chiranjeev Kumar). [Titus Barik](http://www.barik.net). [Error Messages As Rational Reconstructions](https://repository.lib.ncsu.edu/handle/1840.20/35439). North Carolina State University (Mar 29, 2018, advisor: Emerson Murphy-Hill). @@ -74,7 +74,7 @@ Dissertations [Asim Abdulkhaleq](http://www.iste.uni-stuttgart.de/en/se/people/asim-abdulkhaleq.html). [A System-Theoretic Safety Engineering Approach For Software-Intensive Systems](https://elib.uni-stuttgart.de/handle/11682/9066). University of Stuttgart, Institute of Software Technology (Jun 2, 2017, advisor: Stefan Wagner). -[Sami Alajrami](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=7PnfQEhP9P21T272wZArMOCDvF7XFgzRrntX393HhSo= "Reveal this email address"). [Software Development In The Post-Pc Era: Towards Software Development As A Service](s.alajrami@gmail.com). Newcastle University (May 4, 2017, advisor: Alexander Romanovsky). +[Sami Alajrami](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=7PnfQEhP9P21T272wZArMOCDvF7XFgzRrntX393HhSo= "Reveal this email address"). [Software Development In The Post-Pc Era: Towards Software Development As A Service](mailto:s.alajrami@gmail.com). Newcastle University (May 4, 2017, advisor: Alexander Romanovsky). [Catarina Costa](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=GQDemubvcIzRf43QwmagzGXozPp9w2PyUNNi-qc9Xek= "Reveal this email address"). [Recommending Developers For Collaborative Merge Sessions](https://www.dropbox.com/s/1yayviqjip58isj/Tese-CatarinaCosta.pdf?dl=1). Fluminense Federal University (Jun 28, 2017, advisor: Leonardo Gresta Paulino Murta). @@ -86,13 +86,13 @@ Dissertations [Jonas Westman](https://www.kth.se/profile/jowestm). [Specifying Safety-Critical Heterogeneous Systems Using Contracts Theory](http://kth.diva-portal.org/smash/get/diva2:958202/FULLTEXT01.pdf). ITM/Machine Design (Feb 22, 2017, advisor: Mattias Nyberg). -[Andrea Stocco](https://www.ece.ubc.ca/~astocco/). [Automatic Page Object Generation To Support E2E Testing Of Web Applications](tsigalko18@gmail.com). University of Genoa, Italy (Apr 12, 2017, advisor: Filippo Ricca). +[Andrea Stocco](https://www.ece.ubc.ca/~astocco/). [Automatic Page Object Generation To Support E2E Testing Of Web Applications](mailto:tsigalko18@gmail.com). University of Genoa, Italy (Apr 12, 2017, advisor: Filippo Ricca). -[Jean Melo](http://www.itu.dk/people/jeam/). [Variability Bugs: Program And Programmer Perspective](jeanmelo@itu.dk). IT University of Copenhagen (Aug 31, 2017, advisor: Claus Brabrand). +[Jean Melo](http://www.itu.dk/people/jeam/). [Variability Bugs: Program And Programmer Perspective](mailto:jeanmelo@itu.dk). IT University of Copenhagen (Aug 31, 2017, advisor: Claus Brabrand). [Rubén Saborido](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=VXm-jFcRiPJdGGS0oMvJWTGmvMIkXe1ZY6PQBlRX6ASH3MamhzAbVmB13rg87URi "Reveal this email address"). [Assisting Developers And Users In Developing And Choosing Efficient Mobile Device Apps](https://publications.polymtl.ca/2846/). École Polytechnique de Montréal (December 7, 2017, advisor: Foutse Khomh). -[Santosh Singh Rathore](https://sites.google.com/site/santoshiiitmdj/). [Predicting Number Of Faults In Software Systems](santosh.srathore@gmail.com). Indian Institute of Technology Roorkee (Sep 2017, advisor: Dr. Sandeep Kumar). +[Santosh Singh Rathore](https://sites.google.com/site/santoshiiitmdj/). [Predicting Number Of Faults In Software Systems](mailto:santosh.srathore@gmail.com). Indian Institute of Technology Roorkee (Sep 2017, advisor: Dr. Sandeep Kumar). ### 2016 @@ -110,7 +110,7 @@ Dissertations [Niko Mäkitalo](https://nkm.io). [On Programmable Interactions: Principles, Concepts And Challenges Of Co-Located And Social Interplay](http://urn.fi/URN:ISBN:978-952-15-3764-6). Tampere University of Technology (Jun 15, 2016, advisor: Tommi Mikkonen). -[Saurabh Tiwari](https://sites.google.com/site/saurabhiiitdmj/home). [Evaluating Usability Aspects Of Use Cases For Software Specification Problems](saurabhtiwari07@gmail.com). Indian Institute of Information Technology, Design and Manufacturing, Jabalpur, India (June 29, 2016, advisor: Dr Atul Gupta). +[Saurabh Tiwari](https://sites.google.com/site/saurabhiiitdmj/home). [Evaluating Usability Aspects Of Use Cases For Software Specification Problems](mailto:saurabhtiwari07@gmail.com). Indian Institute of Information Technology, Design and Manufacturing, Jabalpur, India (June 29, 2016, advisor: Dr Atul Gupta). [Mohamed Wiem Mkaouer](https://www.researchgate.net/profile/Mohamed_Wiem_Mkaouer). [Balancing Competing Needs Of Machine And Human In Search-Based Software Refactoring](https://deepblue.lib.umich.edu/bitstream/handle/2027.42/134043/Mkaouer%20Dissertation%20Final.pdf?sequence=1&isAllowed=y). University of Michigan-Dearborn (April 4, 2016, advisor: Marouane Kessentini). @@ -138,7 +138,7 @@ Dissertations [Mohd Hafeez Osman](http://www22.in.tum.de/osman/). [Interactive Scalable Condensation Of Reverse Engineered Uml Class Diagrams For Software Comprehension](https://openaccess.leidenuniv.nl/handle/1887/32210). Leiden University (March 10, 2015, advisor: Michel R.V. Chaudron). -[Igor Steinmacher](www.igor.pro.br). [Supporting Newcomers To Overcome The Barriers To Contribute To Open Source Projects](http://www.teses.usp.br/teses/disponiveis/45/45134/tde-30112015-131552/publico/TeseSteinmacher.pdf). University of São Paulo (February 26, 2015, advisor: Igor Steinmacher). +[Igor Steinmacher](https://www.igor.pro.br). [Supporting Newcomers To Overcome The Barriers To Contribute To Open Source Projects](http://www.teses.usp.br/teses/disponiveis/45/45134/tde-30112015-131552/publico/TeseSteinmacher.pdf). University of São Paulo (February 26, 2015, advisor: Igor Steinmacher). ### 2014 @@ -206,7 +206,7 @@ Dissertations [Anne Koziolek](http://sdq.ipd.kit.edu/people/anne_koziolek/). [Automated Improvement of Software Architecture Models for Performance and Other Quality Attributes](http://digbib.ubka.uni-karlsruhe.de/volltexte/documents/1919178). Karlsruhe Institute of Technology (Jul 14 2011, advisor: Ralf Reussner). -[Ridi Ferdiana](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=p4qqcDkQ149gP7d7HqgPpQ== "Reveal this email address"). [An extreme programming approach for global software development](NULL). Universitas Gadjah Mada (Oct 26 2011, advisor: Lukito Edi Nughroho and Paulus Insap Santosa and Ahmad Ashari). +[Ridi Ferdiana](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=p4qqcDkQ149gP7d7HqgPpQ== "Reveal this email address"). An extreme programming approach for global software development. Universitas Gadjah Mada (Oct 26 2011, advisor: Lukito Edi Nughroho and Paulus Insap Santosa and Ahmad Ashari). [Yi Huang](http://www.cse.msu.edu/~huangyi7/). [Contract-based Synchronization of Multi-threaded Java Programs](http://www.cse.msu.edu/~huangyi7/dissertation.pdf). Michigan State University (Dec 16 2011, advisor: Laura Dillon). @@ -234,7 +234,7 @@ Dissertations [Soo Ling Lim](http://www.cs.ucl.ac.uk/staff/SooLing.Lim/). [Social Networks and Collaborative Filtering for Large-Scale Requirements Elicitation](http://www.cs.ucl.ac.uk/staff/S.Lim/phd/thesis_soolinglim.pdf). University of New South Wales (Feb 3 2011, advisor: Anthony Finkelstein). -[William Tribbey](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=rqJXSpMDmRmVl0LlPNkelujt7cB2OpZZBBDA_OhKb1o= "Reveal this email address"). [Construction and analysis of vector space models for use in aspect mining](NULL). Nova Southeastern University (Apr 2011, advisor: Frank Mitropoulos). +[William Tribbey](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=rqJXSpMDmRmVl0LlPNkelujt7cB2OpZZBBDA_OhKb1o= "Reveal this email address"). Construction and analysis of vector space models for use in aspect mining. Nova Southeastern University (Apr 2011, advisor: Frank Mitropoulos). ### 2010 @@ -254,7 +254,7 @@ Dissertations [Juncao Li](http://web.cecs.pdx.edu/~juncao/). [An Automata-Theoretic Approach to Hardware/Software Co-verification](http://web.cecs.pdx.edu/~juncao/links/mypapers/atcv.pdf). Portland State University (Dec 10 2010, advisor: Fei Xie). -[Paolo Di Benedetto](http://www.di.univaq.it/paolo.dibenedetto/). [A Framework For Context Aware Adaptable Software Applications And Services](abstract/DiBenedetto_Paolo.htm). Università degli Studi di L'Aquila (Jul 9 2010, advisor: Paola Inverardi). +[Paolo Di Benedetto](http://www.di.univaq.it/paolo.dibenedetto/). A Framework For Context Aware Adaptable Software Applications And Services. Università degli Studi di L'Aquila (Jul 9 2010, advisor: Paola Inverardi). [Toby Myers](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=cK8Q0TJQ5urK1W4Ai12XlJld_RSPxQZTlGV_Yffuk4o= "Reveal this email address"). [The Foundations for a Scaleable Methodology for Systems Design](http://www.behaviorengineering.org/publications/myers/Thesis_Toby_Myers_2010.pdf). Griffith University (Nov 26 2010, advisor: R. Geoff Dromey). @@ -264,13 +264,13 @@ Dissertations [David Röthlisberger](http://www.droethlisberger.ch/) . Augmenting IDEs with Runtime Information for Software Maintenance. University of Bern (Jun 4 2010, advisor: Oscar Nierstrasz). -[Rangaswamy Selvarani](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=uIVWXWscMR47rQI80fznmsCPw-kfaB9ri-7tsuiB7xQ= "Reveal this email address"). [Design Quality Metrics in Object Oriented Software System](NULL). Jawaharlal Nehru Technological University, Hyderabad (Feb 8 2010, advisor: T.R. Gopalakrishnan Nair). +[Rangaswamy Selvarani](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=uIVWXWscMR47rQI80fznmsCPw-kfaB9ri-7tsuiB7xQ= "Reveal this email address"). Design Quality Metrics in Object Oriented Software System. Jawaharlal Nehru Technological University, Hyderabad (Feb 8 2010, advisor: T.R. Gopalakrishnan Nair). [Bonita Sharif](http://www.cs.kent.edu/~bsimoes) . Empirical Assessment of UML Class Diagram Layouts based on Architectural Importance. Kent State University (May 13 2010, advisor: Jonathan I. Maletic). [Michel dos Santos Soares](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=l18bijyF_GzHhXd4ivGzVNCpT6US-Fye1DHU2JlblsA= "Reveal this email address"). [Architecture-Driven Integration of Modeling Languages for the Design of Software-Intensive Systems](http://repository.tudelft.nl/view/ir/uuid%3A81815b28-ec74-4905-9ec7-ec47261740a1/). Delft University of Technology (Feb 2010, advisor: Alexander Verbraeck). -[Angshu Maan Sen](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=NCOnT3-DfVTSea01BUDueYMwFI0M-RIFIq48z2FUhLI= "Reveal this email address"). [Multiple Perspectives of Elicitation of Requirements in Goal Oriented Requirements Engineering: An Agile Technique of Elicitation](NULL). Assam University, Silchar (May 13 2010, advisor: K. Hemachandran). +[Angshu Maan Sen](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=NCOnT3-DfVTSea01BUDueYMwFI0M-RIFIq48z2FUhLI= "Reveal this email address"). Multiple Perspectives of Elicitation of Requirements in Goal Oriented Requirements Engineering: An Agile Technique of Elicitation. Assam University, Silchar (May 13 2010, advisor: K. Hemachandran). [Patricia Deshane](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=u3DSIiHKXbUmTKGA1M7HMf2LDpUGnFy_XnRVfYAgIgY= "Reveal this email address"). [Managing the Copy-and-Paste Programming Practice](http://www.slideshare.net/pdeshane/patricia-deshane-phd-dissertation). Clarkson University (Apr 30, 2010, advisor: Daqing Hou). @@ -280,7 +280,7 @@ Dissertations [Remco de Boer](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=tMIiMFFq1XR46PM7OQqQKCRcR8r7qNiinsQM1Y15enw= "Reveal this email address"). [Architectural Knowledge Management: Supporting Architects and Auditors](http://dspace.ubvu.vu.nl/handle/1871/15239). VU University Amsterdam (Oct 5 2009, advisor: Hans van Vliet and Patricia Lago). -[Laura-Cecilia Rodriguez-Martinez](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=jVVJAO02TAs7znVszlaVckM56xEy0-6h1-dcvMLsn9U= "Reveal this email address"). [Design and Evaluation of a Software Systems Life Cycle Process Model in the Service-oriented Software Engineering Paradigm](NULL). Autonomous University of Aguascalientes (Nov 12 2009, advisor: Manuel Mora). +[Laura-Cecilia Rodriguez-Martinez](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=jVVJAO02TAs7znVszlaVckM56xEy0-6h1-dcvMLsn9U= "Reveal this email address"). Design and Evaluation of a Software Systems Life Cycle Process Model in the Service-oriented Software Engineering Paradigm. Autonomous University of Aguascalientes (Nov 12 2009, advisor: Manuel Mora). [Angela Lozano](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=pDmDpe9loGeYNwzhVUDJtYE7FzAMaRWY_zZFx4-K0ns= "Reveal this email address"). [Assessing the effect of source code characteristics on changeability](http://oro.open.ac.uk/19273/). Open University (Dec 17 2009, advisor: Michel Wermelinger and Bashar Nuseibeh). @@ -312,7 +312,7 @@ Dissertations [Eric Bodden](http://www.bodden.de/). [Verifying finite-state properties of large-scale programs](http://www.bodden.de/pubs/bodden09phdthesis.pdf). McGill University (Dec 28 2009, advisor: Laurie Hendren). -[Sayyed Maisikeli](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=PRVsm7VzM-BP1VveKJhW5Yjhjacd2JRzK4xM1aM4PDk= "Reveal this email address"). [Aspect Mining Using Self-Organizing Maps With Method Level Dynamic Software Metrics as Input Vectors](NULL). Nova Southeastern University (Jun 2009, advisor: Frank Mitropoulos). +[Sayyed Maisikeli](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=PRVsm7VzM-BP1VveKJhW5Yjhjacd2JRzK4xM1aM4PDk= "Reveal this email address"). Aspect Mining Using Self-Organizing Maps With Method Level Dynamic Software Metrics as Input Vectors. Nova Southeastern University (Jun 2009, advisor: Frank Mitropoulos). [Adam Kiezun](http://people.csail.mit.edu/akiezun). [Effective Software Testing with a String-Constraint Solver](http://people.csail.mit.edu/akiezun/KiezunThesis.pdf). MIT (2009, advisor: Michael D. Ernst). @@ -326,7 +326,7 @@ Dissertations [Eugen Nistor](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=qSFyQ9si82F7DLDObsBxGD5hkJ998F610A36hZq61iU= "Reveal this email address"). [Concern-Driven Software Evolution](https://webfiles.uci.edu/enistor/thesis.pdf). University of California, Irvine (2009, advisor: Andre van der Hoek). -[Maria Karen Cortes-Verdin](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=radNYdqfyPLE_2s0Yuk_fA== "Reveal this email address"). [AOPLA: Aspect-Oriented Product Line Architecture](theses/KarenCortesVerdinPhDDissertation.pdf). CIMAT A.C. (Center for Research in Mathematics), Mexico (Jun 5 2009, advisor: Cuauhtemoc Lemus Olalde). +[Maria Karen Cortes-Verdin](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=radNYdqfyPLE_2s0Yuk_fA== "Reveal this email address"). AOPLA: Aspect-Oriented Product Line Architecture. CIMAT A.C. (Center for Research in Mathematics), Mexico (Jun 5 2009, advisor: Cuauhtemoc Lemus Olalde). [Kevin Bierhoff](http://www.cs.cmu.edu/~kbierhof/). [API Protocol Compliance in Object-Oriented Software](http://reports-archive.adm.cs.cmu.edu/anon/isr2009/abstracts/09-108.html). Carnegie Mellon University (May 17 2009, advisor: Jonathan Aldrich). @@ -344,13 +344,13 @@ Dissertations [Thomas Zimmermann](http://thomas-zimmermann.com/). [Changes and Bugs Mining and Predicting Development Activities](http://thomas-zimmermann.com/publications/files/zimmermann-thesis-2008.pdf). Saarland University (May 26 2008, advisor: Andreas Zeller). -[Chithralekha Thanasekaran](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=IdjhKd9LJg6hKFclxW7LuWQZzzdWS8p_mO4bRuG9IAs= "Reveal this email address"). [Agents with Two-Dimensional Language Autonomy for Task Delegation](NULL). Pondicherry University (Aug 12 2008, advisor: S. Kuppuswami). +[Chithralekha Thanasekaran](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=IdjhKd9LJg6hKFclxW7LuWQZzzdWS8p_mO4bRuG9IAs= "Reveal this email address"). Agents with Two-Dimensional Language Autonomy for Task Delegation. Pondicherry University (Aug 12 2008, advisor: S. Kuppuswami). [Lukasz Radlinski](http://uoo.univ.szczecin.pl/~lukrad/?lang=en). [Improved Software Project Risk Assessment Using Bayesian Nets](http://uoo.univ.szczecin.pl/~lukrad/publ/phd_2008.pdf). Queen Mary, University of London (Nov 30 2008, advisor: Norman Fenton). [Till Bay](http://comerge.net). [Hosting distributed software projects: concepts, framework, and the Origo experience](http://se.inf.ethz.ch/people/bay/publications/2008/bay-diss.pdf). ETH Zurich (Jan 16 2008, advisor: Bertrand Meyer). -[Venkatasamy Prasanna Venkatesan](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=WpeExZuYilHFcnElNAa6XqENO7GYG2lUKz_NO2UzGfA= "Reveal this email address"). [ARMMS- AN Architectural Reference Model for Multilingual Software](NULL). Pondicherry University (Aug 12 2008, advisor: S. Kuppuswami). +[Venkatasamy Prasanna Venkatesan](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=WpeExZuYilHFcnElNAa6XqENO7GYG2lUKz_NO2UzGfA= "Reveal this email address"). ARMMS- AN Architectural Reference Model for Multilingual Software. Pondicherry University (Aug 12 2008, advisor: S. Kuppuswami). [Oksana Tkachuk](http://people.cis.ksu.edu/~oksana/). [Domain-Specific Environment Generation for Modular Software Model Checking](http://people.cis.ksu.edu/~oksana/research/papers/phd-thesis-envgen.pdf). Kansas State University (Dec 12 2008, advisor: Matthew B. Dwyer). @@ -394,13 +394,13 @@ Dissertations [Dennis Wagelaar](http://ssel.vub.ac.be/ssel/about/members/denniswagelaar). [Platform Ontologies for the Model-Driven Architecture](http://ssel.vub.ac.be/ssel/_media/about/members/denniswagelaar/wagelaarphdthesis.pdf). Vrije Universiteit Brussel (Apr 18 2008, advisor: Viviane Jonckers). -[Eugenio Capra](http://www.dei.polimi.it/personale/dettaglio.php?id_persona=389&id_sezione=&lettera=C&idlang=ita). [Software Design Quality and Development Effort: an Empirical Study on the Role of Governance in Open Source Projects](https://re.public.polimi.it/handle/11311/528197). Politecnico di Milano (May 14 2008, advisor: [Chiara Francalanci](chiara.francalanci@polimi.it)). +[Eugenio Capra](http://www.dei.polimi.it/personale/dettaglio.php?id_persona=389&id_sezione=&lettera=C&idlang=ita). [Software Design Quality and Development Effort: an Empirical Study on the Role of Governance in Open Source Projects](https://re.public.polimi.it/handle/11311/528197). Politecnico di Milano (May 14 2008, advisor: [Chiara Francalanci](mailto:chiara.francalanci@polimi.it)). [Oliver Hummel](http://swt.informatik.uni-mannheim.de/hummel). [Semantic Component Retrieval in Software Engineering](http://madoc.bib.uni-mannheim.de/madoc/volltexte/2008/1883/). University of Mannheim (Mar 11 2008, advisor: Colin Atkinson and Ivica Crnkovic). [Vahe Poladian](http://www.cs.cmu.edu/~poladian). [Tailoring Configuration to User's Tasks under Uncertainty](http://reports-archive.adm.cs.cmu.edu/anon/2008/abstracts/08-121.html). Carnegie Mellon University (May 2008, advisor: David Garland and Mary Shaw). -[Jie Hu](hujieuci@gmail.com). [Realistic Models for Scheduling Tasks on Network Nodes](hujieuci@gmail.com). University of California, Irvine (Mar 1 2008, advisor: Raymond Klefstad). +[Jie Hu](mailto:hujieuci@gmail.com). [Realistic Models for Scheduling Tasks on Network Nodes](mailto:hujieuci@gmail.com). University of California, Irvine (Mar 1 2008, advisor: Raymond Klefstad). [Scott McMaster](http://www.cs.umd.edu/~scottmcm). [A Context-Sensitive Coverage Criterion for Test Suite Reduction](http://hdl.handle.net/1903/8077). University of Maryland, College Park (May 23 2008, advisor: Atif Memon). @@ -412,7 +412,7 @@ Dissertations [Erkki Laitila](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=bTEdKbyL911yqRkur0wL7QnqY5rsw8YiO9cOEzYMTw4= "Reveal this email address"). [Symbolic Analysis and Atomistic Model as a Basis for a Program Comprehension Methodology](http://dissertations.jyu.fi/studcomp/9789513932527.pdf). Jyväskylä University, Finland (Aug 5 2008, advisor: Pekka Neittaanmaki). -[Genaina Nunes Rodrigues](http://www.cs.ucl.ac.uk/staff/g.nunesrodrigues). [A Model Driven Approach for Software Reliability Prediction](genainarodrigues@gmail.com). University College London (Feb 8 2008, advisor: David S. Rosenblum). +[Genaina Nunes Rodrigues](http://www.cs.ucl.ac.uk/staff/g.nunesrodrigues). [A Model Driven Approach for Software Reliability Prediction](mailto:genainarodrigues@gmail.com). University College London (Feb 8 2008, advisor: David S. Rosenblum). [Tiago Massoni](http://tiago.dsc.upe.br). [A Model-Driven Approach to Formal Refactoring](http://twiki.cin.ufpe.br/twiki/pub/SPG/GenteAreaThesis/tiago-massoni.pdf). Federal University of Pernambuco (Mar 07 2008, advisor: Paulo Borba). @@ -450,9 +450,9 @@ Dissertations [Lorenz Froihofer](http://www.froihofer.net/). [Middleware Support for Adaptive Dependability through Explicit Runtime Integrity Constraints](http://www.ub.tuwien.ac.at/diss/AC05035607.pdf). Vienna University of Technology (Nov 14 2007, advisor: Mehdi Jazayeri). -[Ana Belen Barragans Martinez](http://idtv.det.uvigo.es/~belen). [Formal Methodology for Specifying Software Systems in Multi-Perspective Environments](belen@det.uvigo.es). University of Vigo (Sep 7 2007, advisor: Jose J. Pazos Arias). +[Ana Belen Barragans Martinez](http://idtv.det.uvigo.es/~belen). [Formal Methodology for Specifying Software Systems in Multi-Perspective Environments](mailto:belen@det.uvigo.es). University of Vigo (Sep 7 2007, advisor: Jose J. Pazos Arias). -[Taweesup Apiwattanapong](http://term.wikidot.com). [Identifying testing requirements for modified software](tapiwattanapong@gmail.com). Georgia Institute of Technology (Aug 2007, advisor: Mary Jean Harrold). +[Taweesup Apiwattanapong](http://term.wikidot.com). [Identifying testing requirements for modified software](mailto:tapiwattanapong@gmail.com). Georgia Institute of Technology (Aug 2007, advisor: Mary Jean Harrold). [Tallam Sriraman](http://www.cs.arizona.edu/~tmsriram). [Fault Location and Avoidance in Long-Running Multithreaded Applications](http://www.cs.ucr.edu/~gupta/Thesis/sriraman.pdf). University of Arizona (Oct 2007, advisor: Rajiv Gupta). @@ -466,7 +466,7 @@ Dissertations [Fernando Schapachnik](http://lafhis.dc.uba.ar/~fpscha). [Timed Automata Model Checking in Monoprocessor and Multiprocessor Architectures](http://www.dc.uba.ar/inv/tesis/tesdoc). University of Buenos Aires (Oct 2007, advisor: Victor Braberman). -[Hyunsook Do](http://www.cs.ndsu.nodak.edu/~hdo). [Accounting for Context and Lifetime Factors: A New Approach for Evaluating Regression Testing Techniques](theses/HyunsookDo.pdf). University of Nebraska, Lincoln (May 2007, advisor: Gregg Rothermel). +[Hyunsook Do](http://www.cs.ndsu.nodak.edu/~hdo). Accounting for Context and Lifetime Factors: A New Approach for Evaluating Regression Testing Techniques. University of Nebraska, Lincoln (May 2007, advisor: Gregg Rothermel). [Josh Dehlinger](http://www.cs.iastate.edu/~dehlinge/) . Incorporating product-line engineering techniques into agent-oriented software engineering for efficiently building safety-critical, multi-agent systems. Iowa State University (Aug 2007, advisor: Robyn R. Lutz). @@ -504,7 +504,7 @@ Dissertations [Fabio Calefato](http://cdg.di.uniba.it/index.php?n=Calefato.HomePage). [Supporting Synchronous Communication In Distributed Software Teams](http://cdg.di.uniba.it/cdg/calefato/phd-dissertation_calefato.pdf). University of Bari (May 2007, advisor: Filippo Lanubile). -[Ganesh Pai](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=kXrtanWplzvEEiEfL753wg== "Reveal this email address"). [Probabilistic software quality analysis](NULL). University of Virginia (May 2007, advisor: Joanne Bechta Dugan). +[Ganesh Pai](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=kXrtanWplzvEEiEfL753wg== "Reveal this email address"). Probabilistic software quality analysis. University of Virginia (May 2007, advisor: Joanne Bechta Dugan). [Rakeshkumar Shukla](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=_UnTw6M02L1XmAxS-NYUmUr3H1VEgSzryiAZUub5RU0= "Reveal this email address"). [A Framework for Statistical Testing of Software Components](http://adt.library.uq.edu.au/public/adt-QU20070523.141941/index.html). The University of Queensland (May 2007, advisor: Paul Strooper). @@ -520,11 +520,11 @@ Dissertations [Ingo Stuermer](http://www.ichmaschine.de). [Systematic Testing of Code Generation Tools - A Test Suite-oriented Approach for Safeguarding Model-based Code Generation](http://www.ichmaschine.de/dissertation.html). Technical University of Berlin (Germany) (Feb 16 2006, advisor: Prof. Dr. Peter Pepper). -[Matthew Rutherford](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=U2yWJHZrESVsS90PlWSfL6C1LuvtD6PvpmfJ4_B14lY= "Reveal this email address"). [Adequate System-Level Testing of Distributed Systems](NULL). University of Colorado at Boulder (Aug 2006, advisor: Alexander L. Wolf). +[Matthew Rutherford](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=U2yWJHZrESVsS90PlWSfL6C1LuvtD6PvpmfJ4_B14lY= "Reveal this email address"). Adequate System-Level Testing of Distributed Systems. University of Colorado at Boulder (Aug 2006, advisor: Alexander L. Wolf). [Leonardo Murta](http://www.cos.ufrj.br/~murta). [Configuration Management Applied to Component Based Development](http://reuse.cos.ufrj.br/prometeus/publicacoes/odyssey-scm.pdf). Federal University of Rio de Janeiro (Oct 2006, advisor: Claudia Maria Lima Werner). -[John Fiskio-Lasseter](http://www.willamette.edu/~jflasset). [Specification and Solution of Multisource Data Flow Problems](theses/john_lasseter_thesis.pdf). University of Oregon (Dec 2006, advisor: Michal Young). +[John Fiskio-Lasseter](http://www.willamette.edu/~jflasset). Specification and Solution of Multisource Data Flow Problems. University of Oregon (Dec 2006, advisor: Michal Young). [Davor Svetinovic](http://davors.com). [Increasing the Semantic Similarity of Object-Oriented Domain Models by Performing Behavioral Analysis First](http://etheses.uwaterloo.ca/display.cfm?ethesis_id=1024). University of Waterloo, BC, Canada (2006, advisor: Daniel M. Berry and Michael W. Godfrey). @@ -612,7 +612,7 @@ Dissertations [Robby](http://people.cis.ksu.edu/~robby) . Domain-specic Software Model Checking. Kansas State University (Aug 2004, advisor: John Hatcliff and Matthew B. Dwyer). -[Laura Campbell](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=x3vcSnFFxhvw-svk_B6jH24qyrfx3QK-Ko2YZhiOgIg= "Reveal this email address"). [Enabling Integrative Analyses and Refinement of Object-Oriented Models with Special Emphasis on High-Assurance Embedded Systems](NULL). Michigan State University (2004, advisor: Betty H.C. Cheng). +[Laura Campbell](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=x3vcSnFFxhvw-svk_B6jH24qyrfx3QK-Ko2YZhiOgIg= "Reveal this email address"). Enabling Integrative Analyses and Refinement of Object-Oriented Models with Special Emphasis on High-Assurance Embedded Systems. Michigan State University (2004, advisor: Betty H.C. Cheng). [Jin Dean](http://www.cs.umanitoba.ca/~djin/). [Ontological Adaptive Integration of Reverse Engineering Tools](http://www.cs.umanitoba.ca/~djin/documents/Jin_04.pdf). Queen's University (Aug 2004, advisor: James R. Cordy). @@ -622,7 +622,7 @@ Dissertations [Joerg P. Wadsack](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=raMKZ8b5XHLzAmvR5twLIoCZrUf3yXLZ9_Fza1dcDbs= "Reveal this email address"). [Data-oriented Reengineering](http://ubdata.uni-paderborn.de/ediss/17/2003/wadsack/disserta.pdf). University of Paderborn (Jul 07 2004, advisor: Wilhelm Schafer). -[Nathan Ryan](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=zfGeuH-Ya0ncpSpRheb40pW-tEzHnIOiuyuSRPBzAKs= "Reveal this email address"). [Using Event-Based Translation to Support Dynamic Protocol Evolution](NULL). University of Colorado, Boulder (2004, advisor: Alexander L. Wolf). +[Nathan Ryan](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=zfGeuH-Ya0ncpSpRheb40pW-tEzHnIOiuyuSRPBzAKs= "Reveal this email address"). Using Event-Based Translation to Support Dynamic Protocol Evolution. University of Colorado, Boulder (2004, advisor: Alexander L. Wolf). [Christine Julien](http://www.ece.utexas.edu/~julien). [Supporting Context-Aware Application Development in Ad Hoc Mobile Networks](http://www.ece.utexas.edu/~julien/pubs/WU-CSE-04-36.pdf). Washington University in Saint Louis (2004, advisor: Gruia-Catalin Roman). @@ -716,7 +716,7 @@ Dissertations [Sander Tichelaar](http://www.iam.unibe.ch/~scg/Archive/PhD/tichelaar-phd.pdf). [Modeling Object-Oriented Software for Reverse Engineering and Refactoring](http://www.iam.unibe.ch/~scg/Archive/PhD/tichelaar-phd.pdf). University of Berne (Dec 14 2001, advisor: Oscar Nierstrasz). -[Jurgen Munch](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=PpQatRXrUYpjBYk6oEpEsmYQjvKcG70X27ULOeMe_qM= "Reveal this email address"). [Pattern-based Development of Software Project Plans](NULL). University of Kaiserslautern (Nov 2001, advisor: Dieter Rombach). +[Jurgen Munch](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=PpQatRXrUYpjBYk6oEpEsmYQjvKcG70X27ULOeMe_qM= "Reveal this email address"). Pattern-based Development of Software Project Plans. University of Kaiserslautern (Nov 2001, advisor: Dieter Rombach). [Atif Memon](http://www.cs.umd.edu/~atif). [A Comprehensive Framework for Testing Graphical User Interfaces](http://www.cs.umd.edu/~atif/dissertation.pdf). University of Pittsburg (Jul 27 2001, advisor: Mary Lou Soffa). @@ -726,13 +726,13 @@ Dissertations ### 2000 -[Oliver Laitenberger](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=215sD6o8qKcJaBcV-T8LO6gr0FsgYEDPZ7LiHnfxNE-rwN8-mAOccWBNbW4O35eq "Reveal this email address"). [Cost-effective Detection of Software Defects through Perspective-based Inspections](NULL). University of Kaiserslautern (2000, advisor: Dieter Rombach and Victor Basili). +[Oliver Laitenberger](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=215sD6o8qKcJaBcV-T8LO6gr0FsgYEDPZ7LiHnfxNE-rwN8-mAOccWBNbW4O35eq "Reveal this email address"). Cost-effective Detection of Software Defects through Perspective-based Inspections. University of Kaiserslautern (2000, advisor: Dieter Rombach and Victor Basili). [Kim Mens](http://www.info.ucl.ac.be/~km/). [Automating architectural conformance checking by means of logic meta programming](http://www.info.ucl.ac.be/~km/MyResearchPages/publications/dissertation/PHD_2002_Mens.pdf). Vrije Universiteit Brussel (Oct 23 2000, advisor: Theo D'Hondt). -[William McUmber](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=ccBtE4OK-bJhxa473Le0teZwleaazsPIuZOwewBPQ4c= "Reveal this email address"). [A Generic Framework for Formalizing Object-Oriented Modeling Notations for Embedded Systems Development](NULL). Michigan State University (Feb 2000, advisor: Betty H. C. Cheng). +[William McUmber](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=ccBtE4OK-bJhxa473Le0teZwleaazsPIuZOwewBPQ4c= "Reveal this email address"). A Generic Framework for Formalizing Object-Oriented Modeling Notations for Embedded Systems Development. Michigan State University (Feb 2000, advisor: Betty H. C. Cheng). -[William Chan](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=Go4SLZd2noNlQqLR4fj0q1lISG-Tcf2XVXKuEMU1lsM= "Reveal this email address"). [Symbolic model checking for large software specifications](NULL). University of Washington (2000, advisor: David Notkin and Richard Anderson). +[William Chan](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=Go4SLZd2noNlQqLR4fj0q1lISG-Tcf2XVXKuEMU1lsM= "Reveal this email address"). Symbolic model checking for large software specifications. University of Washington (2000, advisor: David Notkin and Richard Anderson). [Peyman Oreizy](http://www.ics.uci.edu/~peymano/). [Open Architecture Software: A Flexible Approach to Decentralized Software Evolution](http://www.ics.uci.edu/~peymano/papers/thesis.pdf). University of California, Irvine (2000, advisor: Richard N. Taylor). @@ -778,7 +778,7 @@ Dissertations ### 1998 -[Forrest Shull](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=WhpQfF2NKO04wu45ZVIxArn5tNfaL5jzDkmMQP2MKsM= "Reveal this email address"). [Developing Techniques for Using Software Documents: A Series of Empirical Studies](theses/ForrestShull.pdf). University of Maryland, College Park (Dec 1998, advisor: Victor Basili). +[Forrest Shull](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=WhpQfF2NKO04wu45ZVIxArn5tNfaL5jzDkmMQP2MKsM= "Reveal this email address"). Developing Techniques for Using Software Documents: A Series of Empirical Studies. University of Maryland, College Park (Dec 1998, advisor: Victor Basili). [Aniruddha Gokhale](http://www.dre.vanderbilt.edu/~gokhale). [Design Principles and Optimizations for High Performance, Real-time CORBA](http://www.dre.vanderbilt.edu/~gokhale/asg-dissertation.pdf). Washington University in St. Louis (May 1998, advisor: Dr. Douglas C. Schmidt). @@ -786,17 +786,17 @@ Dissertations [Tevfik Bultan](http://www.cs.ucsb.edu/~bultan/). [Automated Symbolic Analysis of Reactive Systems](http://www.cs.ucsb.edu/~bultan/publications/dissertation.ps). University of Maryland, College Park (1998, advisor: Richard Gerber). -[David Fleming](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=sZxeh8gAlezDrNR_59aX_QdGmsnrAezeBAk693lAq-Y= "Reveal this email address"). [Foundations of Object-Based Specification Design](NULL). West Virginia University (1998, advisor: Murali Sitaraman). +[David Fleming](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=sZxeh8gAlezDrNR_59aX_QdGmsnrAezeBAk693lAq-Y= "Reveal this email address"). Foundations of Object-Based Specification Design. West Virginia University (1998, advisor: Murali Sitaraman). [William Hefley](http://itsqc.cs.cmu.edu) . Influence In Work Groups A Study of Software Development Teams. Carnegie Mellon University (1998, advisor: Sara Kiesler). [Andrea Zisman](http://www.soi.city.ac.uk/~zisman). [Information Discovery for Interoperable Autonomous Database Systems](http://www.soi.city.ac.uk/~zisman/PhD_thesis/zisman_thesis.pdf). University of London, Imperial College of Science, Technology and Medicine (1998, advisor: Jeff Kramer). -[Abdelsalam Heddaya](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=Gc8FphBj3aIyUm7dl4pEb5Si2VFR-ISpFxsXYl_EoVY= "Reveal this email address"). [Managing Event-based Replication for Abstract Data Types in Distributed Systems](NULL). Harvard University (1988, advisor: Bill Weihl). +[Abdelsalam Heddaya](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=Gc8FphBj3aIyUm7dl4pEb5Si2VFR-ISpFxsXYl_EoVY= "Reveal this email address"). Managing Event-based Replication for Abstract Data Types in Distributed Systems. Harvard University (1988, advisor: Bill Weihl). ### 1997 -[Will Tracz](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=IgxE4O5LZUoTPeiwQEmyNDzohlBiCdUqeUi34ukzJ5Q= "Reveal this email address"). [Parameterized Programming in LILEANNA](NULL). Stanford University (Jun 1997, advisor: David Luckham). +[Will Tracz](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=IgxE4O5LZUoTPeiwQEmyNDzohlBiCdUqeUi34ukzJ5Q= "Reveal this email address"). Parameterized Programming in LILEANNA. Stanford University (Jun 1997, advisor: David Luckham). [Manoel Mendonça](http://wiki.dcc.ufba.br/LES/ManoelMendonca). [An Approach to Improving Existing Measurement Frameworks in Software Development Organizations](http://drum.lib.umd.edu/handle/1903/926). University of Maryland (1997, advisor: Victor Basili). @@ -806,7 +806,7 @@ Dissertations [Jonathan Cook](http://www.cs.nmsu.edu/~jcook). [Process Discovery and Validation through Event Data Analysis](http://www.cs.nmsu.edu/~jcook/papers/thesis.html). University of Colorado, Boulder (1996, advisor: Alexander L. Wolf). -[Kingsum Chow](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=0SP1c3HskDL3r2E1qb4SrMDNP6CcFujmMPQPz7bifpQ= "Reveal this email address"). [Supporting Library Interface Changes in Open System Software Evolution](NULL). University of Washington (1996, advisor: David Notkin). +[Kingsum Chow](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=0SP1c3HskDL3r2E1qb4SrMDNP6CcFujmMPQPz7bifpQ= "Reveal this email address"). Supporting Library Interface Changes in Open System Software Evolution. University of Washington (1996, advisor: David Notkin). ### 1995 @@ -814,7 +814,7 @@ Dissertations [Wayne Heym](http://www.cse.ohio-state.edu/~heym). [Computer Program Verification: Improvements for Human Reasoning](http://www.cse.ohio-state.edu/rsrg/documents/TR55/). The Ohio State University (1995, advisor: Bruce W. Weide). -[Matthew Dwyer](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=tULahB8vvCnNfcZYTEtNPr7jk0Nb1kF-aNGGQmxPZ2w= "Reveal this email address"). [FLAVERS: Data Flow Analysis for Verifying Properties of Concurrent Programs](NULL). University of Massachusetts - Amherst (1995, advisor: Lori Clarke). +[Matthew Dwyer](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=tULahB8vvCnNfcZYTEtNPr7jk0Nb1kF-aNGGQmxPZ2w= "Reveal this email address"). FLAVERS: Data Flow Analysis for Verifying Properties of Concurrent Programs. University of Massachusetts - Amherst (1995, advisor: Lori Clarke). [Wolfgang Emmerich](http://www.cs.ucl.ac.uk). [Tool Construction for Process-Centred Software Development Environments based on Object Databases](http://www.cs.ucl.ac.uk/staff/W.Emmerich/publications/PHDTHESIS/thesis.pdf). University of Paderborn (1995, advisor: Wilhelm Schafer). @@ -852,7 +852,7 @@ Dissertations ### 1988 -[Jeff Offutt](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=HqRsgjLYlUDPDyBt6AmikA== "Reveal this email address"). [Automatic Test Data Generation](NULL). Georgia Institute of Technology (1988, advisor: Richard A. DeMillo). +[Jeff Offutt](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=HqRsgjLYlUDPDyBt6AmikA== "Reveal this email address"). Automatic Test Data Generation. Georgia Institute of Technology (1988, advisor: Richard A. DeMillo). [Raymond Klefstad](http://doc.ece.uci.edu/~klefstad). [Maintaining a Uniform User Interface for an Ada Programming Environment](http://antpac.lib.uci.edu/). University of California, Irvine (1988, advisor: Richard N. Taylor). @@ -862,7 +862,7 @@ Dissertations [Alexander Wolf](http://www.cs.colorado.edu/users/alw/) . Language and Tool Support for Precise Interface Control. University of Massachusetts at Amherst (1985, advisor: Lori A. Clarke and Jack C. Wileden). -[William Bail](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=gWmvjaoN3H2YYKnK4i8Geg== "Reveal this email address"). [Algorithm Structure Analysis Using Hierarchical Abstract Computers](NULL). University of Maryland (1985, advisor: Marvin Zelkowitz). +[William Bail](http://mailhide.recaptcha.net/d?k=01nF0orHvwkflnexbVm8sQyg==&c=gWmvjaoN3H2YYKnK4i8Geg== "Reveal this email address"). Algorithm Structure Analysis Using Hierarchical Abstract Computers. University of Maryland (1985, advisor: Marvin Zelkowitz). ### 1984 diff --git a/content/logos/logos.md b/content/logos/logos.md index a8f60969..0888ed07 100644 --- a/content/logos/logos.md +++ b/content/logos/logos.md @@ -8,7 +8,7 @@ keywords = ["LOGOS","ACM SIGSOFT Logos"] Here are logos for use in publicity materials and publications. ## ACM Logo -[ACM Logo](/logo/acm_logo.gif) +[ACM Logo](/img/logos/acm_logo.gif) {{< figure src="/img/logos/acm_logo.gif" height=".3" title="" >}} @@ -30,7 +30,7 @@ Here are logos for use in publicity materials and publications. {{< figure src="/img/logos/sigsoft-no-tagline.png" height=".3" title="" >}} - [Portable Network Graphics PNG](/logos/sigsoft-no-tagline.png) -- [Adobe Illustrator AI](/logos/sigsoft-no-tagline.ai) +- [Adobe Illustrator AI](/logos/sigsoft-no-tagline.ai.ps) - [Adobe Acrobat PDF](/logos/sigsoft-no-tagline.pdf) - [Encapsulated PostScript EPS](/logos/sigsoft-no-tagline.eps) - [Scalable Vector Graphics SVG](/logos/sigsoft-no-tagline.svg) @@ -39,6 +39,5 @@ Here are logos for use in publicity materials and publications. {{< figure src="/img/logos/ICSE-gears-bw-large.png" height=".3" title="" >}} -- [TIFF](/logo/ICSE-gears-bw-large.tiff) - +- [TIFF](/logos/ICSE-gears-bw-large.tif) diff --git a/content/opentoc/ESEM2018-TOC.html b/content/opentoc/ESEM2018-TOC.html index e79d5d12..25a81c1e 100644 --- a/content/opentoc/ESEM2018-TOC.html +++ b/content/opentoc/ESEM2018-TOC.html @@ -545,7 +545,7 @@

  • Carlos Cano-Genoves
  • Raphael Pereira de Oliveira
  • -

    Context. Several early requirements approaches focus on modeling objectives, interest or benefits of related stakeholders. However, as they can be used for different purposes as identifying problems, exploring system solutions, evaluating alternatives, etc., there are no clear guidelines on how to build these models, which constructs of the language must be used in each case, and most importantly, how to use these models downstream to the software requirements and design artifacts. Background. In a previous work, we proposed a specialization of the GRL language ([email protected]) to specify stakeholders' goals when dealing with early requirements in the context of incremental software development. Goal/Method. This paper reports on a controlled experiment aimed at comparing the goal model quality and the productivity, perceived ease of use, and perceived usefulness of participants when using [email protected] and i* languages. Results. The results showed that [email protected] obtained better results than i* as a goal modeling language indicating that it can be considered as a promising emerging approach in this area. Conclusions. [email protected] allows obtaining goal models with good quality that may be later used downstream software development activities.

    +

    Context. Several early requirements approaches focus on modeling objectives, interest or benefits of related stakeholders. However, as they can be used for different purposes as identifying problems, exploring system solutions, evaluating alternatives, etc., there are no clear guidelines on how to build these models, which constructs of the language must be used in each case, and most importantly, how to use these models downstream to the software requirements and design artifacts. Background. In a previous work, we proposed a specialization of the GRL language ([email protected]) to specify stakeholders' goals when dealing with early requirements in the context of incremental software development. Goal/Method. This paper reports on a controlled experiment aimed at comparing the goal model quality and the productivity, perceived ease of use, and perceived usefulness of participants when using [email protected] and i* languages. Results. The results showed that [email protected] obtained better results than i* as a goal modeling language indicating that it can be considered as a promising emerging approach in this area. Conclusions. [email protected] allows obtaining goal models with good quality that may be later used downstream software development activities.

    An empirical perspective on security challenges in large-scale agile software development

    @@ -681,5 +681,5 @@

    Identifying relationships between requirements described in natural language (NL) is a difficult task in requirements engineering (RE). This paper presents a novel approach that uses Semantic Frames in FrameNet to find the relationships between requirements. Our initial validation shows that the approach is promising, with an F-Score of 83%. Our next step is to use the approach to identify implicit requirements relationships and finding requirements traceability links.

    - + diff --git a/content/opentoc/ICSE2018Companion-TOC.html b/content/opentoc/ICSE2018Companion-TOC.html index a4178482..6871f7ba 100644 --- a/content/opentoc/ICSE2018Companion-TOC.html +++ b/content/opentoc/ICSE2018Companion-TOC.html @@ -1280,7 +1280,7 @@

  • Yanfei Tian
  • Xudong Liu
  • -

    Most software CQAs (e.g. Stack Overflow) mainly rely on users to assign tags for posted questions. This leads to many redundant, inconsistent and inaccurate tags that are detrimental to the communities. Therefore tag quality becomes a critical challenge to deal with. In this work, we propose STR, a deep learning based approach that automatically recommends tags through learning the semantics of both tags and questions in such software CQAs. First, word embedding is employed to convert text information to high-dimension vectors for better representing questions and tags. Second, a Multi-tasking-like Convolutional Neural Network, the core modules of STR, is designed to capture short and long semantics. Third, the learned semantic vectors are fed into a gradient descent based algorithm for classification. Finally, we evaluate STR on three datasets collected from popular software CQAs, and experimental results show that STR outperforms state-of-the-art approaches in terms of [email protected], [email protected] and F1 - [email protected]

    +

    Most software CQAs (e.g. Stack Overflow) mainly rely on users to assign tags for posted questions. This leads to many redundant, inconsistent and inaccurate tags that are detrimental to the communities. Therefore tag quality becomes a critical challenge to deal with. In this work, we propose STR, a deep learning based approach that automatically recommends tags through learning the semantics of both tags and questions in such software CQAs. First, word embedding is employed to convert text information to high-dimension vectors for better representing questions and tags. Second, a Multi-tasking-like Convolutional Neural Network, the core modules of STR, is designed to capture short and long semantics. Third, the learned semantic vectors are fed into a gradient descent based algorithm for classification. Finally, we evaluate STR on three datasets collected from popular software CQAs, and experimental results show that STR outperforms state-of-the-art approaches in terms of [email protected], [email protected] and F1 - [email protected]

    QoS-aware service composition using blockchain-based smart contracts

    @@ -2300,5 +2300,5 @@

    As the Internet of Things becomes commonplace, modern software must encompass the sensors, actuators and controllers that make up these physical computers. But can non-experts program such systems? Can such software development be undertaken by anyone, especially programmers who are learning or who are not aiming to be technical experts? We describe the motivation and principles behind Microsoft MakeCode and CODAL, two symbiotic frameworks which have many innovative engineering features for physical computing. Together, these two technologies highlight a new approach to software development for embedded computing devices which provides accessible programming languages and environments that reduce the complexity of programming embedded devices without compromising the flexibility or performance of the resulting software.

    - + diff --git a/content/opentoc/MODELS2018-TOC.html b/content/opentoc/MODELS2018-TOC.html index 94c618a8..871c77b0 100644 --- a/content/opentoc/MODELS2018-TOC.html +++ b/content/opentoc/MODELS2018-TOC.html @@ -408,7 +408,7 @@

  • Gwendal Daniel
  • Jordi Cabot
  • -

    When engineering complex systems, models are used to represent various systems aspects. These models are often heterogeneous in terms of modeling language, provenance, number or scale. They can be notably managed by different persistence frameworks adapted to their nature. As a result, the information relevant to engineers is usually split into several interrelated models. To be useful in practice, these models need to be integrated together to provide global views over the system under study. Model view approaches have been proposed to tackle such an issue. They provide an unification mechanism to combine and query heterogeneous models in a transparent way. These views usually target specific engineering tasks such as system design, monitoring, evolution, etc. In our present context, the [email protected] industrially-supported European initiative defines a set of large-scale use cases where model views can be beneficial for tracing runtime and design time data. However, existing model view solutions mostly rely on in-memory constructs and low-level modeling APIs that have not been designed to scale in the context of large models stored in different kinds of sources. This paper presents the current status of our work towards a general solution to efficiently support scalable model views on heterogeneous model resources. It describes our integration approach between model view and model persistence frameworks. This notably implies the refinement of the view framework for the construction of large views from multiple model storage solutions. This also requires to study how parts of queries can be computed on the contributing models rather than on the view. Our solution has been benchmarked on a practical large-scale use case from the [email protected] project, implementing a runtime -- design time feedback loop. The corresponding EMF-based tooling support and modeling resources are fully available online.

    +

    When engineering complex systems, models are used to represent various systems aspects. These models are often heterogeneous in terms of modeling language, provenance, number or scale. They can be notably managed by different persistence frameworks adapted to their nature. As a result, the information relevant to engineers is usually split into several interrelated models. To be useful in practice, these models need to be integrated together to provide global views over the system under study. Model view approaches have been proposed to tackle such an issue. They provide an unification mechanism to combine and query heterogeneous models in a transparent way. These views usually target specific engineering tasks such as system design, monitoring, evolution, etc. In our present context, the [email protected] industrially-supported European initiative defines a set of large-scale use cases where model views can be beneficial for tracing runtime and design time data. However, existing model view solutions mostly rely on in-memory constructs and low-level modeling APIs that have not been designed to scale in the context of large models stored in different kinds of sources. This paper presents the current status of our work towards a general solution to efficiently support scalable model views on heterogeneous model resources. It describes our integration approach between model view and model persistence frameworks. This notably implies the refinement of the view framework for the construction of large views from multiple model storage solutions. This also requires to study how parts of queries can be computed on the contributing models rather than on the view. Our solution has been benchmarked on a practical large-scale use case from the [email protected] project, implementing a runtime -- design time feedback loop. The corresponding EMF-based tooling support and modeling resources are fully available online.

    SESSION: Hardware Embedded Systems and CPS

    @@ -541,5 +541,5 @@

    Self-consumption of renewable energies is defined as electricity that is produced from renewable energy sources, not injected to the distribution or transmission grid or instantaneously withdrawn from the grid and consumed by the owner of the power production unit or by associates directly contracted to the producer. Designing solutions in favor of self-consumption for small industries or city districts is challenging. It consists in designing an energy production system made of solar panels, wind turbines, batteries that fit the annual weather prediction and the industrial or human activity. In this context, this paper reports the context of this business domain, its challenges, and the application of modeling that leads to a solution. Through this article, we highlight the essentials of a domain specific modeling language designed to let domain experts run their own simulations, we compare with existing practices that exist in such a company and we discuss the benefits and the limits of the use of modeling in such context.

    - + diff --git a/content/policies/cooperation.md b/content/policies/cooperation.md index 7b5f223e..fb71743e 100644 --- a/content/policies/cooperation.md +++ b/content/policies/cooperation.md @@ -28,7 +28,7 @@ Under in-cooperation, SIGSOFT is not financially responsible for the meeting. SIGSOFT encourages in-cooperation conferences and workshops to follow SIGSOFT policies and procedures, including the following: -* [SIGSOFT Policy on Program Committees](/policies/PCpolicy.html) +* [SIGSOFT Policy on Program Committees](/policies/pcpolicy/) * [ACM Policy on Prior Publication and Simultaneous Submissions](http://www.acm.org/publications/policies/sim_submissions) In-cooperation provides a number of **benefits**: diff --git a/content/policies/sponsorship.md b/content/policies/sponsorship.md index 0e737b0a..9be70a23 100644 --- a/content/policies/sponsorship.md +++ b/content/policies/sponsorship.md @@ -24,7 +24,7 @@ Sponsorship by SIGSOFT provides a number of benefits to event organizers: * A free advertisement for the event can appear in SIGSOFT Software Engineering Notes ([SEN](/SEN/SEN)). The advertisement should be sent to the [editor](/contact) of SEN at least six weeks before the announcement is to appear in a non-conference issue * The event will appear in the SIGSOFT [list of events](/event) * The event will be entered into the Call for papers and Professional Calendar sections of Communications of the ACM ([CACM](http://www.acm.org/cacm/)) and the ACM [conference calendar](http://www.acm.org/sig_conferences/) web site -* A special rate is available for purchase of an advertisement in Communications of the ACM ([CACM](http://www.acm.org/cacm/)). Discounts on ACM mailing lists are also available. Please contact the SIGSOFT [Program Director](/contact.html#program-director) for further information +* A special rate is available for purchase of an advertisement in Communications of the ACM ([CACM](http://www.acm.org/cacm/)). Discounts on ACM mailing lists are also available. Please contact the SIGSOFT [Program Director](/contact/#program-director) for further information * Conference papers are eligible to appear in the [ACM Digital Library](http://dl.acm.org/) * Minimization of calendar conflicts with other SIGSOFT-sponsored events. This includes both submission dates and event dates. See below for details @@ -34,7 +34,7 @@ Application To apply for sponsorship status: 1. Familiarize yourself with the [Conference Manual](http://www.acm.org/sigs/volunteer_resources/conference_manual/) and the [ACM Criteria for Conference Approval](http://www.acm.org/sigs/volunteer_resources/conference_manual/1-2cri) -2. For events not previously sponsored by SIGSOFT, please send a description of the event via email to the SIGSOFT [Vice Chair](/contact.html#vice-chair), at least **sixteen months prior** to the event. The description must be in **plain text** and include the following information: +2. For events not previously sponsored by SIGSOFT, please send a description of the event via email to the SIGSOFT [Vice Chair](/contact/#vice-chair), at least **sixteen months prior** to the event. The description must be in **plain text** and include the following information: 1. name, place, and dates of the event 2. the goals of the event @@ -51,7 +51,7 @@ To apply for sponsorship status: 3. Fill out the [Preliminary Approval Form (PAF) for Sponsored Events](http://campus.acm.org/public/cms/tmrf/cms_paf.cfm) form and return it to the SIGSOFT [Program Director](/contact) at least **sixteen months prior** to the event. In order to facilitate processing, electronic submission is required. 4. Fill out the [Technical Meeting Request Form](http://www.acm.org/sig_volunteer_info/conference_manual/sponstmrfpage.htm) (TMRF) for Sponsored Events and return it to the SIGSOFT [Program Director](/contact) at least **12 months prior** to the event. In order to facilitate processing, electronic submission is required. Guidelines for completion of the TMRF are available [here](http://www.acm.org/sig_volunteer_info/conference_manual/1-2-1GUIDE.HTM). -The SIGSOFT [Executive Committee](/eseccontact) is available to provide advice and counseling to event organizers. In general, we are happy to establish continuing relationships with organizers of regularly held events. +The SIGSOFT [Executive Committee](/execcontact/) is available to provide advice and counseling to event organizers. In general, we are happy to establish continuing relationships with organizers of regularly held events. Guidelines ---------- @@ -62,7 +62,7 @@ For an event to be eligible for SIGSOFT sponsorship status, it must satisfy the * The event must have an open call for participation. Events that limit attendance (e.g., a workshop) must select participants through an open call * Registration costs should be reasonable and SIGSOFT members must receive the same or better discount on registration fees offered to members of any other organization * The Program Committee must adhere to the SIGSOFT [conflict of interest and confidentiality policy](/policies/PCpolicy) -* SIGSOFT must be mentioned in any publicity (e.g., the call for participation) and publication (e.g., the proceedings) associated with the event. The SIGSOFT [logo image](/resources/logos.html) must appear wherever other relevant graphic images appear (e.g., on fliers, posters, web pages, and proceedings cover pages) +* SIGSOFT must be mentioned in any publicity (e.g., the call for participation) and publication (e.g., the proceedings) associated with the event. The SIGSOFT [logo image](/logos/logos/) must appear wherever other relevant graphic images appear (e.g., on fliers, posters, web pages, and proceedings cover pages) * Authors submitting to the event must be made aware of the [ACM Policy and Procedures on Plagiarism](http://www.acm.org/publications/policies/plagiarism_policy), and must be asked to indicate their understanding and acceptance of the policy and procedures. This can normally be done as part of the electronic submission process, such as through a checkbox that must be checked in order for the submission to be recorded Again, SIGSOFT representatives will work with a conference to help ensure a successful event. diff --git a/layouts/partials/menu_url.html b/layouts/partials/menu_url.html new file mode 100644 index 00000000..e2032ab9 --- /dev/null +++ b/layouts/partials/menu_url.html @@ -0,0 +1,6 @@ +{{- $url := .URL -}} +{{- if or (hasPrefix $url "http://") (hasPrefix $url "https://") (hasPrefix $url "mailto:") (hasPrefix $url "#") -}} +{{- $url -}} +{{- else -}} +{{- $url | relURL -}} +{{- end -}} diff --git a/layouts/partials/nav.html b/layouts/partials/nav.html new file mode 100644 index 00000000..c9b90c92 --- /dev/null +++ b/layouts/partials/nav.html @@ -0,0 +1,148 @@ + + + diff --git a/scripts/check-all-internal-links.mjs b/scripts/check-all-internal-links.mjs new file mode 100644 index 00000000..3383ef92 --- /dev/null +++ b/scripts/check-all-internal-links.mjs @@ -0,0 +1,187 @@ +#!/usr/bin/env node + +import fs from "node:fs"; +import path from "node:path"; + +const publicRoot = path.resolve(process.env.PUBLIC_DIR || "public"); +const siteBase = new URL(process.env.SITE_BASE_URL || "https://www2.sigsoft.org/"); +const siteBasePath = normalizePath(siteBase.pathname); +const strictBasePath = process.env.STRICT_BASE_PATH === "true"; +const ignoredProtocols = new Set(["mailto:", "tel:", "javascript:", "data:", "blob:"]); +const internalHosts = new Set([ + siteBase.host, + "www2.sigsoft.org", + "127.0.0.1:1313", + "localhost:1313", +]); + +if (!fs.existsSync(publicRoot)) { + console.error(`PUBLIC_DIR does not exist: ${publicRoot}`); + process.exit(1); +} + +const htmlFiles = walk(publicRoot).filter((file) => file.endsWith(".html")); +const failures = []; +let checkedLinks = 0; + +for (const file of htmlFiles) { + const source = fs.readFileSync(file, "utf8"); + const pageUrl = pageUrlFor(file); + + for (const link of extractLinks(source)) { + const parsed = resolveInternalUrl(pageUrl, link.raw); + if (!parsed) continue; + + checkedLinks += 1; + + const baseFailure = checkBasePath(parsed); + if (baseFailure) { + failures.push(`${rel(file)}: ${link.attr}=${JSON.stringify(link.raw)} escapes base path ${siteBasePath}`); + continue; + } + + const target = resolvePublicPath(parsed.pathname); + if (!fs.existsSync(target)) { + failures.push(`${rel(file)}: ${link.attr}=${JSON.stringify(link.raw)} -> missing ${slash(path.relative(publicRoot, target))}`); + } + } +} + +if (failures.length > 0) { + console.error(`Checked ${htmlFiles.length} HTML file(s) and ${checkedLinks} internal URL(s).`); + console.error(`Found ${failures.length} broken internal URL(s):`); + for (const failure of failures) console.error(`- ${failure}`); + process.exit(1); +} + +console.log(`Checked ${htmlFiles.length} HTML file(s) and ${checkedLinks} internal URL(s); no broken internal URLs found.`); + +function extractLinks(source) { + const links = []; + const attrPattern = /\b(href|src|action)=(?:"([^"]*)"|'([^']*)'|([^\s>]+))/gi; + let match; + + while ((match = attrPattern.exec(source)) !== null) { + links.push({ attr: match[1], raw: decodeHtml(match[2] ?? match[3] ?? match[4] ?? "") }); + } + + const srcsetPattern = /\bsrcset=(?:"([^"]*)"|'([^']*)'|([^\s>]+))/gi; + while ((match = srcsetPattern.exec(source)) !== null) { + for (const candidate of decodeHtml(match[1] ?? match[2] ?? match[3] ?? "").split(",")) { + const raw = candidate.trim().split(/\s+/)[0]; + if (raw) links.push({ attr: "srcset", raw }); + } + } + + return links; +} + +function resolveInternalUrl(pageUrl, rawLink) { + const link = rawLink.trim(); + if (!link || link.startsWith("#")) return null; + if (link.includes("${") || link.includes("{{")) return null; + + let resolved = link; + if (resolved.startsWith("//")) resolved = `${siteBase.protocol}${resolved}`; + + let url; + try { + url = new URL(resolved, pageUrl); + } catch { + return null; + } + + if (ignoredProtocols.has(url.protocol)) return null; + if (!["http:", "https:"].includes(url.protocol)) return null; + if (!internalHosts.has(url.host)) return null; + + return url; +} + +function checkBasePath(url) { + if (!strictBasePath) return false; + if (siteBasePath === "/") return false; + const normalized = normalizePath(url.pathname); + return normalized !== siteBasePath && !normalized.startsWith(`${siteBasePath}/`); +} + +function resolvePublicPath(urlPath) { + const stripped = stripSiteBasePath(urlPath).split("#")[0].split("?")[0]; + const decoded = safeDecode(stripped).replace(/^\/+/, ""); + const candidate = path.resolve(publicRoot, decoded); + + if (candidate !== publicRoot && !candidate.startsWith(`${publicRoot}${path.sep}`)) { + return path.join(publicRoot, "__invalid_path__"); + } + + if (!decoded) return path.join(publicRoot, "index.html"); + if (stripped.endsWith("/")) return path.join(candidate, "index.html"); + if (fs.existsSync(candidate)) return candidate; + if (path.extname(candidate)) return candidate; + + const asDirectoryIndex = path.join(candidate, "index.html"); + if (fs.existsSync(asDirectoryIndex)) return asDirectoryIndex; + return `${candidate}.html`; +} + +function pageUrlFor(file) { + const relative = slash(path.relative(publicRoot, file)); + const base = siteBase.href.endsWith("/") ? siteBase.href : `${siteBase.href}/`; + + if (relative === "index.html") return new URL(base); + if (relative.endsWith("/index.html")) { + return new URL(relative.slice(0, -"index.html".length), base); + } + return new URL(relative, base); +} + +function stripSiteBasePath(urlPath) { + const normalized = normalizePath(urlPath); + if (siteBasePath !== "/" && normalized.startsWith(`${siteBasePath}/`)) { + return normalized.slice(siteBasePath.length); + } + if (siteBasePath !== "/" && normalized === siteBasePath) return "/"; + return normalized; +} + +function normalizePath(value) { + const normalized = value.startsWith("/") ? value : `/${value}`; + return normalized.length > 1 ? normalized.replace(/\/+$/, "") : normalized; +} + +function walk(root) { + const result = []; + for (const entry of fs.readdirSync(root, { withFileTypes: true })) { + const fullPath = path.join(root, entry.name); + if (entry.isDirectory()) result.push(...walk(fullPath)); + else result.push(fullPath); + } + return result; +} + +function decodeHtml(value) { + return value + .replaceAll("&", "&") + .replaceAll(""", '"') + .replaceAll(""", '"') + .replaceAll("'", "'") + .replaceAll("'", "'") + .replaceAll("<", "<") + .replaceAll(">", ">"); +} + +function safeDecode(value) { + try { + return decodeURIComponent(value); + } catch { + return value; + } +} + +function rel(file) { + return slash(path.relative(publicRoot, file)); +} + +function slash(value) { + return value.split(path.sep).join("/"); +} diff --git a/static/logos/ICSE-gears-bw-large.png b/static/logos/ICSE-gears-bw-large.png new file mode 100644 index 00000000..7cd51d0c Binary files /dev/null and b/static/logos/ICSE-gears-bw-large.png differ diff --git a/static/logos/ICSE-gears-bw-large.tif b/static/logos/ICSE-gears-bw-large.tif new file mode 100644 index 00000000..9a1ea5de Binary files /dev/null and b/static/logos/ICSE-gears-bw-large.tif differ diff --git a/static/logos/acm_logo.gif b/static/logos/acm_logo.gif new file mode 100644 index 00000000..c204ea28 Binary files /dev/null and b/static/logos/acm_logo.gif differ diff --git a/static/logos/sigsoft-no-tagline.ai.ps b/static/logos/sigsoft-no-tagline.ai.ps new file mode 100644 index 00000000..de6bdb9d Binary files /dev/null and b/static/logos/sigsoft-no-tagline.ai.ps differ diff --git a/static/logos/sigsoft-no-tagline.eps b/static/logos/sigsoft-no-tagline.eps new file mode 100644 index 00000000..815e71d0 Binary files /dev/null and b/static/logos/sigsoft-no-tagline.eps differ diff --git a/static/logos/sigsoft-no-tagline.pdf b/static/logos/sigsoft-no-tagline.pdf new file mode 100644 index 00000000..0b494880 Binary files /dev/null and b/static/logos/sigsoft-no-tagline.pdf differ diff --git a/static/logos/sigsoft-no-tagline.png b/static/logos/sigsoft-no-tagline.png new file mode 100644 index 00000000..fe0f57e9 Binary files /dev/null and b/static/logos/sigsoft-no-tagline.png differ diff --git a/static/logos/sigsoft-no-tagline.svg b/static/logos/sigsoft-no-tagline.svg new file mode 100644 index 00000000..18c623e0 --- /dev/null +++ b/static/logos/sigsoft-no-tagline.svg @@ -0,0 +1,84 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/static/logos/sigsoft.ai.ps b/static/logos/sigsoft.ai.ps new file mode 100644 index 00000000..a5895196 Binary files /dev/null and b/static/logos/sigsoft.ai.ps differ diff --git a/static/logos/sigsoft.eps b/static/logos/sigsoft.eps new file mode 100644 index 00000000..5e295be2 Binary files /dev/null and b/static/logos/sigsoft.eps differ diff --git a/static/logos/sigsoft.pdf b/static/logos/sigsoft.pdf new file mode 100644 index 00000000..1c3fda6a Binary files /dev/null and b/static/logos/sigsoft.pdf differ diff --git a/static/logos/sigsoft.png b/static/logos/sigsoft.png new file mode 100644 index 00000000..140c8952 Binary files /dev/null and b/static/logos/sigsoft.png differ diff --git a/static/logos/sigsoft.svg b/static/logos/sigsoft.svg new file mode 100644 index 00000000..c5a7136e --- /dev/null +++ b/static/logos/sigsoft.svg @@ -0,0 +1,348 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +