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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2014
Review
2014
Coorbit theory arose as an attempt to describe in a unified fashion the properties of the continuous wavelet transform and the… 
2008
2008
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
The community of users evolved in the design of Information System has proponed a set of techniques usually referred to as… 
2005
2005
An approach of evolving form in musical composition is presented here. The use of genetic algorithms in musical composition is… 
2004
2004
This article describes our approach for the specification and verification of production automation systems with real-time… 
Review
1997
Review
1997
1994
1994
Static analysis of Ada tasking programs has been hindered by the well known state explosion problem that arises in the… 
1994
1994
The authors present the Triadic Domain Model (TDM)-based system development environment. The main purpose is to integrate system… 
1980
1980
The goal of automatic program verification is to prove programs correct formally. We argue that the existing notions of formal… 
1958
1958