Skip to search formSkip to main contentSkip to account menu

Software Engineering Notes

Known as: ACM SIGSOFT Software Engineering Notes, SEN, SIGSOFT Software Engineering Notes 
The ACM SIGSOFT Software Engineering Notes (SEN) is published by the Association for Computing Machinery (ACM) for the Special Interest Group on… 
Wikipedia (opens in a new tab)

Related topics

Related topics

2 relations
ISO/IEC 646Software engineering

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2014
Review
2014
Coorbit Theory and Bergman Spaces
Coorbit theory arose as an attempt to describe in a unified fashion the properties of the continuous wavelet transform and the… 
2008
2008
Language features meet design patterns: raising the abstraction bar
In the context of software engineering, abstraction is the means by which we move from layer to layer in the realization of the… 
2007
2007
Técnicas de análisis de dominio: organización del conocimiento para la construcción de sistemas software
The community of users evolved in the design of Information System has proponed a set of techniques usually referred to as… 
2005
2005
Genetic Approaches for Evolving Form in Musical Composition
An approach of evolving form in musical composition is presented here. The use of genetic algorithms in musical composition is… 
2004
2004
Specification and Formal Verification of Temporal Properties of Production Automation Systems
This article describes our approach for the specification and verification of production automation systems with real-time… 
Review
1997
Review
1997
Real Time Systems: A Survey
1994
1994
An empirical evaluation of three methods for deadlock analysis of Ada tasking programs
Static analysis of Ada tasking programs has been hindered by the well known state explosion problem that arises in the… 
1994
1994
Triadic domain model-based development of software systems
The authors present the Triadic Domain Model (TDM)-based system development environment. The main purpose is to integrate system… 
1980
1980
On specifying verifiers
The goal of automatic program verification is to prove programs correct formally. We argue that the existing notions of formal… 
1958
1958
Japanese Discomycete Notes I-VIII
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)