default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM SIGSOFT Software Engineering Notes, Volume 40
Volume 40, Number 1, January 2015
- Robert Schaefer:
Pathologies of Compliance: Industrial Disease. 5-7 - Tao Xie:
Learning and Celebration of Software Engineering History and Impact. 7-8 - Alex Groce:
Passages. 8-9 - Mark Doernhoefer:
Surfing the Net for Software Engineering Notes. 10-18 - Peter G. Neumann:
Risks to the Public. 19-26
- Sebastian Götz
, Nelly Bencomo, Robert B. France:
Devising the Future of the Models@run.time Workshop. 26-29 - Neil B. Harrison, Uwe van Heesch, Stefan Sobernig, Peter Sommerlad, Martin Filipczyk, Alexander Fülleborn, Angelika Musil, Juergen Musil:
Software Architecture Patterns: Reflection and Advances: [Summary of the MiniPLoP Writers' Workshop at ECSA'14]. 30-34 - Thomas J. Misa:
ACM History Committee Archiving Workshop. 35-37 - Chang Xu, Laura K. Dillon:
SEES Summary: Software Engineering Educators Symposium 2014. 38-39 - Ashish Sureka, Y. Raghu Reddy, Pornsiri Muenchaisri, Masateru Tsunoda:
A Report on Software Engineering Education Workshop (SEEW) 2014 Co-Located with Asia-Pacific Software Engineering Conference 2014. 40-43 - Ming Li, Hongyu Zhang, David Lo, Lucia:
Improving Software Quality and Productivity Leveraging Mining Techniques: [Summary of the Second Workshop on Software Mining, at ASE 2013]. 1-2 - Giles Reger, Howard Barringer, David E. Rydeheard:
Automata-based Pattern Mining from Imperfect Traces. 1-8 - Miao Du, Steven Versteeg, Jean-Guy Schneider, Jun Han, John C. Grundy:
Interaction Traces Mining for Efficient System Responses Generation. 1-8 - Shivani Rao, Henry Medeiros, Avinash C. Kak:
Comparing Incremental Latent Semantic Analysis Algorithms for Efficient Retrieval from Software Libraries for Bug Localization. 1-8 - Yu Qu, Xiaohong Guan, Qinghua Zheng, Ting Liu, Jianliang Zhou, Jian Li:
Calling Network: A New Method for Modeling Software Runtime Behaviors. 1-8 - Philip Makedonski, Fabian Sudau, Jens Grabowski:
Towards a Model-based Software Mining Infrastructure. 1-8 - Sabih Agbaria, Joseph Gil:
On Incomplete Bug Fixes in Eclipse and Programmers' Intuition on These. 1-8 - Prasad Bokil, Padmanabhan Krishnan, R. Venkatesh:
Achieving Effective Test Suites for Reactive Systems using Specification Mining and Test Suite Reduction Techniques. 1-8 - Quoc-Sang Phan, Pasquale Malacaria, Corina S. Pasareanu:
Concurrent Bounded Model Checking. 1-5 - Simone Hanazumi, Ana Cristina Vieira de Melo, Corina S. Pasareanu:
From Test Purposes to Formal JPF Properties. 1-5 - Jaideep Ramachandran, Corina S. Pasareanu, Thomas Wahl:
Symbolic Execution for Checking the Accuracy of Floating-Point Programs. 1-5 - Rody Kersten, Suzette Person, Neha Rungta, Oksana Tkachuk:
Improving Coverage of Test Cases Generated by Symbolic PathFinder for Programs with Loops. 1-5 - Justin Lloyd, Elena Sherman:
Minimizing the Size of Path Conditions Using Convex Polyhedra Abstract Domain. 1-5 - Peter Anderson, Nick Vrvilo, Eric Mercer, Vivek Sarkar:
JPF Verification of Habanero Java Programs using Gradual Type Permission Regions. 1-5 - Stuart Siroky, Rodion M. Podorozhny, Guowei Yang:
Verification of Architectural Constraints on Sequences of Method Invocations. 1-4 - Heila van der Merwe, Oksana Tkachuk, Brink van der Merwe, Willem Visser:
Generation of Library Models for Verification of Android Applications. 1-5 - Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Zvonimir Rakamaric, Vishwanath Raman:
The Dart, the Psyco, and the Doop: Concolic Execution in Java PathFinder and its Applications. 1-5 - P. V. Srinivas Acharyulu, P. Seetharamaiah:
A Measures and Metrics Framework for Software Safety. 1-8 - Enrico Giacinto Caldarola, Antonio Picariello, Daniela Castelluccia:
Modern Enterprises in the Bubble: Why Big Data Matters. 1-4 - Ashish Kumar Dwivedi, Santanu Kumar Rath:
Incorporating Security Features in Service-Oriented Architecture using Security Patterns. 1-6 - Kawal Jeet, Renu Dhir:
Software Architecture Recovery using Genetic Black Hole Algorithm. 1-5 - Rakesh Kumar, Hardeep Singh:
A Proactive Procedure to Mitigate the BYOD Risks on the Security of an Information System. 1-4 - Dino Mandrioli, Matteo Pradella:
Programming Languages shouldn't be "too Natural". 1-4 - Gurpreet Singh Matharu, Anju Mishra, Harmeet Singh, Priyanka Upadhyay:
Empirical Study of Agile Software Development Methodologies: A Comparative Analysis. 1-6 - Muhammed Maruf Öztürk, Ibrahim Cil, Ahmet Zengin:
Development of a Multi-Agent Framework for Software Quality. 1-10 - Souvik Sengupta, Ranjan Dasgupta:
Use of Semi-Formal and Formal Methods in Requirement Engineering of ILMS. 1-13 - Jawwad Wasat Shareef, R. K. Pandey:
Design of a Component Interface Complexity Measurement Tool for Component-Based Systems. 1-12 - Neha Singh, Kirti Tyagi:
A Literature Review of the Reliability of Composite Web Service in Service-Oriented Architecture. 1-8 - B. Esther Sunanda, P. Seetharamaiah:
Modeling of Safety-Critical Systems Using Petri Nets. 1-7 - Murat Yilmaz, Rory V. O'Connor, Paul M. Clarke:
Software Development Roles: A Multi-Project Empirical Investigation. 1-5
- Jared Herzog:
Software Architecture in Practice Third Edition Written by Len Bass, Paul Clements, Rick Kazman. 51-52
Volume 40, Number 2, March 2015
- Alex Groce:
Passages. 5-6 - Mark A. Ardis, Peter B. Henderson:
Software Engineering Education (SEEd). 6-7 - Mark Doernhoefer:
Surfing the Net for Software Engineering Notes. 8-15 - Peter G. Neumann:
Risks to the Public. 16-21
- Shing-Chi Cheung, Alessandro Orso, Margaret-Anne D. Storey:
ACM SIGSOFT FSE 2014 Conference Summary. 22-27 - Sridhar Chimalakonda, Y. Raghu Reddy, Rakesh Shukla:
Moving Beyond: Insights from 1st International Workshop on Software Engineering Research and Industrial Practices (SER&IPs 2014). 28-31 - Carolyn B. Seaman, Robert L. Nord, Philippe Kruchten, Ipek Ozkaya:
Technical Debt: Beyond Definition to Understanding Report on the Sixth International Workshop on Managing Technical Debt. 32-34 - Mridul Bhardwaj, Ajay Rana:
Impact of Size and Productivity on Testing and Rework Efforts for Web-based Development Projects. 1-4 - Shruti Chhabra, Veer Sain Dixit:
Cloud Computing: State of the Art and Security Issues. 1-11 - Jitender Choudhari, Ugrasen Suman:
An Empirical Evaluation of Iterative Maintenance Life Cycle Using XP. 1-14 - Preeti Gulia, Jyoti Chugh:
Comparative Analysis of Traditional and Object-Oriented Software Testing. 1-4 - Ritu Jain, Ugrasen Suman:
A Systematic Literature Review on Global Software Development Life Cycle. 1-14 - Arvinder Kaur, Shraddha Verma:
Performance Measurement and Analysis of High-Availability Clusters. 1-7 - Gaurav Kumar, Pradeep Kumar Bhatia:
Neuro-Fuzzy Model to Estimate & Optimize Quality and Performance of Component Based Software Engineering. 1-6 - Vignesh P, S. Selvakumar:
Design of an Abstraction Layer for Communication with BOSH XMPP Server. 1-4 - Sanjukta Pal, Amit Kr Mandal, Anirban Sarkar:
Application Multi-Tenancy for Software as a Service. 1-8 - Abhinandan H. Patil, Neena Goveas, Krishnan Rangarajan:
Re-architecture of Contiki and Cooja Regression Test Suites using Combinatorial Testing Approach. 1-3 - Rashmi Phalnikar, Devesh Jinwala:
Analysis of Conflicting User Requirements in Web Applications Using Graph Transformation. 1-7 - R. Selvarani, P. Mangayarkarasi:
A Dynamic Optimization Technique for Redesigning OO Software for Reusability. 1-6 - Jan Waller, Nils Christian Ehmke, Wilhelm Hasselbring:
Including Performance Benchmarks into Continuous Integration to Enable DevOps. 1-4 - Will Tracz:
Agile!: The Good, the Hype and the Ugly, Written by Bertrand Meyer. 38-39
Volume 40, Number 3, May 2015
- Alex Groce:
Passages. 4-5 - Robert Schaefer:
Don't Mourn, Organize. 5-7 - Mark Doernhoefer:
Surfing the Net for Software Engineering Notes. 8-16 - Peter G. Neumann:
Risks to the Public. 17-22 - Betty H. C. Cheng:
A Review of Dr. Robert France's Contributions and Impact on Model-Driven Engineering and Software Engineering: Robert B. France (1960-2015). 23-31
- Anya Helene Bagge, Vadim Zaytsev:
Open and Original Problems in Software Language Engineering 2015 Workshop Report. 32-37 - Alessandro Garcia, Rohit Gheyi, Márcio Ribeiro, Sebastián Uchitel:
Report on the First PhD and Young Researchers Warm Up Symposium for ICSE 2017. 38
Volume 40, Number 4, July 2015
- David Weiss:
YOGA: A Software Development Process Based On Ancient Principles. 5 - Mark Doernhoefer:
Surfing the Net for Software Engineering Notes. 6-14 - Peter G. Neumann:
Risks to the Public. 15-20
- Caroline Lemieux:
ICSE 2015 SIGSOFT CAPS Report. 21 - Dario Di Nucci:
ICSE 2015 SIGSOFT CAPS Report. 22 - Edmund Wong:
ICSE 2015 SIGSOFT CAPS Report. 23 - Edward Smith:
ICSE 2015 SIGSOFT CAPS Report. 24 - Erica S. Mesh:
ICSE 2015 SIGSOFT CAPS Report. 25 - Frolin S. Ocariza Jr.:
ICSE 2015 SIGSOFT CAPS Report. 26 - Giuseppe Procaccianti:
ICSE 2015 SIGSOFT CAPS Report. 27 - Jamal El Hachem:
ICSE 2015 SIGSOFT CAPS Report. 28 - João Felipe S. Ouriques:
ICSE 2015 SIGSOFT CAPS Report. 29 - ICSE 2015 SIGSOFT CAPS Report. 30
- Monika Gupta:
ICSE 2015 SIGSOFT CAPS Report. 31 - Nikolas Herbst:
ICSE 2015 SIGSOFT CAPS Report. 32 - Patrick Morrison:
ICSE 2015 SIGSOFT CAPS Report. 33-34 - Paul Rimba:
A Summary on the 37th International Conference on Software Engineering (ICSE 2015). 35 - Rahul Mohanani:
ICSE 2015 SIGSOFT CAPS Report. 36 - Reyhaneh Jabbarvand Behrouz:
ICSE 2015 SIGSOFT CAPS Report. 37 - María Consuelo Franky, Jaime A. Pavlich-Mariscal, Leonardo Giral, Andrea Barraza-Urbina, Luisa Fernanda Barrera, Angee Zambrano:
Achieving Software Reuse and Integration in a Large-scale Software Development Company: Practical Experience of the Lion Project. 1-9 - Pragya Kandari, Ajay Jain:
An Empirical Study to Evaluate the Best Anchoring Positions in Nested Menus for Optimized Access Time. 1-8 - Ajay Jain:
A Technique for Selecting Online Advertisements using Mailbox Calendar Invites. 1-7 - B. Umamaheswrarao, Seetha Ramaiah Panchumarthy, PhaniKumar Singamsetty:
An Optimal Weighted-Average Voting Algorithm for Software Safety Estimation on Safety-Critical Systems. 1-7
Volume 40, Number 5, September 2015
- Mark Doernhoefer:
Surfing the Net for Software Engineering Notes. 5-14 - Peter G. Neumann:
Risks to the Public. 15-25
- Carlos Henrique C. Duarte, Xavier Franch, Nazim H. Madhavji:
3rd International Workshop on Conducting Empirical Studies in Industry (CESI 2015): Post-workshop Report. 26-29 - Davide Falessi, Zadia Codabux, Guoping Rong, Ioannis Stamelos, Waldemar Ferreira, Igor Scaliante Wiese, Emanoel Francisco Spósito Barreiros, Christian Quesada-López, Periklis Tsirakidis:
Trends in empirical research: the report on the 2014 Doctoral Symposium on Empirical Software Engineering. 30-35 - Alok Mishra, Jürgen Münch, Deepti Mishra:
Information Systems in Distributed Environments: ISDE 2014. 36-38 - Elizabeth Bjarnason, Markus Borg, Mirko Morandini, Michael Unterkalmsteiner, Michael Felderer, Matthew Staats:
Summary of 2nd International Workshop on Requirements Engineering and Testing (RET 2015): Co-located with ICSE 2015. 39-42 - Ipek Ozkaya, Robert L. Nord, Heiko Koziolek, Paris Avgeriou:
Toward Simpler, not Simplistic, Quantification of Software Architecture and Metrics: Report on the Second International Workshop on Software Architecture and Metrics. 43-46 - Matthias Galster, Mehdi Mirakhorli, Anne Koziolek:
Twin Peaks goes Agile. 47-49 - Manmath Kumar Bhuyan, Durga Prasad Mohapatra, Srinivas Sethi:
Measures for Predicting Software Reliability using Time Recurrent Neural Networks with Back-propagation. 1-8 - Shahid Nazir Bhatti, Maria Usman, Amr A. Jadi:
Validation to the Requirement Elicitation Framework via Metrics. 1-7 - Unnati S. Shah, Devesh C. Jinwala:
Resolving Ambiguities in Natural Language Software Requirements: A Comprehensive Survey. 1-7
Volume 40, Number 6, November 2015
- Mark Doernhoefer:
Surfing the Net for Software Engineering Notes. 7-13 - Peter G. Neumann:
Risks to the Public. 14-19
- Philipp Diebold, Darja Smite, Daniel Méndez Fernández:
Results of the 1st International Workshop on Impact of Agile Practices (ImpAct 2015). 20-23 - Jennifer Horkoff, James Lockerbie, Xavier Franch, Eric S. K. Yu, John Mylopoulos:
Report on the First International i* Teaching Workshop (iStarT): June 9th, Co-located with the Conference on Advanced Information Systems Engineering (CAiSE'15), Stockholm, Sweden. 24-27 - Tomás Bures, Danny Weyns, Christian Berger, Stefan Biffl, Marian Daun, Thomas Gabor, David Garlan, Ilias Gerostathopoulos, Christine Julien, Filip Krikava, Richard Mordinyi, Nikos Pronios:
Software Engineering for Smart Cyber-Physical Systems - Towards a Research Agenda: Report on the First International Workshop on Software Engineering for Smart CPS. 28-32 - Bedir Tekinerdogan, Huub Scholten:
Software Ecosystems for the Life Sciences Application Domains. 1-6 - Yogesh Singh:
Automated Expected Output Generation: Is this a Problem that has been solved? 1-5 - Alcemir Rodrigues Santos, Eduardo Santana de Almeida:
Do #ifdef-based Variation Points Realize Feature Model Constraints? 1-5 - Alberto Sampaio:
Improving Systematic Mapping Reviews. 1-8 - Heila van der Merwe, Oksana Tkachuk, Sean Nel, Brink van der Merwe, Willem Visser:
Environment Modeling Using Runtime Values for JPF-Android. 1-5 - Guowei Yang, Quan Chau Dong Do, Junye Wen:
Distributed Assertion Checking Using Symbolic Execution. 1-5 - Karl Palmskog, Farah Hariri, Darko Marinov:
A Case Study on Executing Instrumented Code in Java PathFinder. 1-5 - Phan Thi Thanh Huyen, Daisuke Shimbara, Shinya Sakaida, Hideto Ogawa:
POM/JLEC: An Automatic Program Equivalence Checker for Java Enterprise Systems. 1-5 - Radha Nakade, Eric Mercer:
Verification of Habanero Java Programs using Computation Graphs. 1-4
- William Del Ra:
Sams Teach Yourself Node.js in 24 Hours by George Ornbo. 35 - William Del Ra:
Sams Teach Yourself Responsive Web Design in 24 Hours by Jennifer Kyrnin. 36 - Will Tracz:
Refactoring for Software Design Smells: Managing Technical Debt by Girish Suryanarayana, Ganesh Samarthyam, and Tushar Sharma. 36
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-06-17 21:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
