Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM SIGSOFT Software Engineering Notes, Volume 43
Volume 43, Number 1, January 2018
- Alex Groce:
Passages. 1-2 - Huaimin Wang:
Harnessing the crowd wisdom for software trustworthiness. 1-6 - Peter G. Neumann:
Risks to the Public. 1-6
- Ritu Jain, Ugrasen Suman:
A Project Management Framework for Global Software Development. 1-10 - Debashis Mukherjee, Dibyanshu Shekhar, Rajib Mall:
Proposal for A Structural Integration Test Coverage Metric for Object-Oriented Programs. 1-4 - Ashish Kumar Dwivedi, Santanu Kumar Rath:
Transformation of Alloy Notation into a Semantic Notation. 1-6 - Eudis Teixeira:
Improving the Quality of Controlled Experiments in Software Engineering. 1-6 - Sezin Gizem Yaman:
User Involvement in Continuous Experimentation. 1-4 - Darlan Arruda
:
Requirements Engineering in the Context of Big Data Applications. 1-6 - Ibtehal Noorwali:
Stakeholder Concern-Driven Requirements Analytics. 1-6 - Bruno Cartaxo:
Supporting Knowledge Transfer From Secondary Studies to Software Engineering Practice. 1-6 - Shirin Akbarinasaji:
Prioritizing lingering bugs. 1-6 - Amanda Lee:
One-Time Contributors to FLOSS: Surveys and Data Analysis. 1-6
Volume 43, Number 2, April 2018
- Leon J. Osterweil:
Be Gracious. 4-6 - Alex Groce:
Passages. 6-7 - Peter G. Neumann:
Risks to the Public. 8-11
- Paramvir Singh, Sheikh Umar Farooq, Saurabh Tiwari, Ashish Sureka:
An Experience Report on Workshop on Emerging Software Engineering Education. 12-23
Volume 43, Number 3, July 2018
- Alex Groce:
Passages. 5 - Lei Bu, Tian Zhang, Xin Chen, Linzhang Wang, Jianhua Zhao, Xuandong Li:
Model-based Construction and Verification of Cyber-Physical Systems. 6-10 - Peter G. Neumann:
Risks to the Public. 11-16
- Tirimula Rao Benala, Rajib Mall:
SEET: Software Development Effort Estimation Using Ensemble Techniques. 17 - Murali Sitaraman, Bruce W. Weide:
A Synopsis of Twenty Five Years of RESOLVE PhD Research Efforts: Software Development Effort Estimation Using Ensemble Techniques. 17 - Daniel Welch:
Formalization Integrated Development Environments: The Current Landscape. 17 - Eileen T. Kraemer:
Teaching the Design-by-Contract Concept in a Software Engineering Course Using RESOLVE. 18 - Eileen T. Kraemer, Aubrey Lawson:
Reasoning About Concurrency: Scenarios for Activities. 18 - Megan Fowler, Tim Schwab:
BeginToReason: Understanding the Purpose of Code. 18 - Alan Weide:
Reasoning Challenges of Data Abstraction and Aliasing in Concurrent Programs. 18 - Yu-Shan Sun:
Reasoning About Reference Behavior with RESOLVE. 18-19 - Saad F. Asim:
An Exercise in Design: The Binary Decision Diagram. 19 - Harvey Friedman:
This Foundationalist Looks at P = NP. 19 - Joan Krone:
Food for Thought. 19 - Bill Ogden:
A Coconfinement Invariant. 19 - Paolo A. G. Sivilotti:
Verification Benchmarks. 19
Volume 43, Number 4, October 2018
- Alex Groce:
Passages. 6-7 - Robert L. Glass, Frank Land:
Errors in Computing History. 9-12 - Peter G. Neumann:
Risks to the Public. 13-20 - Steven Fraser, Dennis Mancl:
Agile Culture: A Panels Report from XP 2017. 21-23 - Claudia Raibulet, Mariagrazia Fugini, Khalil Drira, Patrizio Pelliccione, Ilias Gerostathopoulos, Christian Prehofer, Klaus Moessner:
Report of the 1st International Workshop on Context-aware Autonomous and Smart Architectures (CASA@ECSA 2017). 24-27 - Linda M. Northrop, Ipek Ozkaya, George Fairbanks, Michael Keeling:
Designing the Software Systems of the Future. 28-30 - Dirk van der Linden, Awais Rashid:
The Effect of Software Warranties on Cybersecurity. 31-35 - Markus Borg, Adnan Causevic, Serge Demeyer, Sigrid Eldh:
Summary of the 1st IEEE Workshop on the Next Level of Test Automation (NEXTA 2018). 36-38 - Steven Fraser, Dennis Mancl:
No Silver Bullet Reloaded: Report on XP 2017 Panel Session. 39-41 - Tomás Bures, Danny Weyns, Bradley R. Schmerl, John S. Fitzgerald:
Software Engineering for Smart Cyber-Physical Systems: Models, System-Environment Boundary, and Social Aspects. 42-44 - Mario Gleirscher, Stefan Kugele, Sven Linker:
SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles. 45-47 - Marco Kuhrmann, Rory V. O'Connor, Dan Houston, Regina Hebig, David Raffo:
Summary of the International Conference on Software andSystem Processes (ICSSP 2018). 48-51
- Umaima Haider, John D. McGregor, Rabih Bashroush:
The ALI Architecture Description Language. 52 - Ajay Jain, Sachin Soni:
Multi-Directional navigation method for optimized consumption of user generated content through semantic mapping of features derived from the user generated content. 52 - Steven Fraser, Dennis Mancl:
Agile Culture: A Panels Report from XP 2017. 52 - Claudia Raibulet, Mariagrazia Fugini, Khalil Drira, Patrizio Pelliccione, Ilias Gerostathopoulos, Christian Prefoher, Klaus Moessner:
Report of the 1st International Workshop on Context-aware Autonomous and Smart Architectures (CASA@ECSA 2017). 52-53 - Lina Northrop, Ipek Ozkaya, George Fairbanks, Michael Keeling:
Designing the Software Systems of the Future. 53 - Dirk van der Linden, Awais Rashid:
The Effect of Software Warranties on Cybersecurity. 53 - Markus Borg, Adnan Causevic, Serge Demeyer, Sigrid Eldh:
Summary of the 1st IEEE Workshop on the Next Level of Test Automation (NEXTA 2018). 53 - Steven Fraser, Dennis Mancl:
No Silver Bullet Reloaded: Report on XP 2017 Panel Session. 53 - Tomás Bures, Danny Weyns, Bradley R. Schmerl, John S. Fitzgerald:
Software Engineering for Smart Cyber-Physical Systems: Models, System-Environment Boundary, and Social Aspects. 54 - Mario Gleirscher, Stefan Kugele, Sven Linker:
SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles. 54 - Tevfik Bultan:
Side-Channel Analysis via Symbolic Execution and Model Counting. 55 - Maria Paquin, Elena Sherman, Amit Jain:
Assessing the Adequacy of Synthetic Programs for Learning SPF's Configurations. 55 - Quoc-Sang Phan:
Test input generation using separati logic. 55 - Kaiyuan Wang, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid:
A Progress Bar for the JPF Search Using Program Executions. 55 - Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel:
Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP). 56 - Joseph Jones, James Wasson, Sean Brown, Seth Poulsen, Peter Aldous, Eric Mercer:
Memory safety in C by abstract interpretation. 56 - Seemanta Saha, Ismet Burak Kadron, William Eiers, Lucas Bang, Tevfik Bultan:
Attack Synthesis for Strings using Meta-Heuristics. 56 - Guolong Zheng, Quang Loc Le, ThanhVu Nguyen, Quoc-Sang Phan:
Automatic Data Structure Repair usingSeparation Logic. 66
a service of 
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 2024-04-22 20:03 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:
