Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,682,098 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
2 relations
ISO/IEC 646
Software engineering
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2014
Review
2014
Coorbit Theory and Bergman Spaces
H. Feichtinger
,
M. Pap
2014
Corpus ID: 116521251
Coorbit theory arose as an attempt to describe in a unified fashion the properties of the continuous wavelet transform and the…
Expand
2008
2008
Language features meet design patterns: raising the abstraction bar
J. Bishop
ROA '08
2008
Corpus ID: 566896
In the context of software engineering, abstraction is the means by which we move from layer to layer in the realization of the…
Expand
2007
2007
Técnicas de análisis de dominio: organización del conocimiento para la construcción de sistemas software
R. E. Brun
2007
Corpus ID: 61296510
The community of users evolved in the design of Information System has proponed a set of techniques usually referred to as…
Expand
2005
2005
Genetic Approaches for Evolving Form in Musical Composition
A. Ayesh
,
A. Hugill
Artificial Intelligence and Applications
2005
Corpus ID: 15583310
An approach of evolving form in musical composition is presented here. The use of genetic algorithms in musical composition is…
Expand
2004
2004
Specification and Formal Verification of Temporal Properties of Production Automation Systems
S. Flake
,
W. Müller
,
Ulrich Pape
,
Jürgen Ruf
SoftSpez Final Report
2004
Corpus ID: 11027300
This article describes our approach for the specification and verification of production automation systems with real-time…
Expand
Review
1997
Review
1997
Real Time Systems: A Survey
Amit Singhal
1997
Corpus ID: 18497578
1994
1994
An empirical evaluation of three methods for deadlock analysis of Ada tasking programs
J. Corbett
International Symposium on Software Testing and…
1994
Corpus ID: 6380245
Static analysis of Ada tasking programs has been hindered by the well known state explosion problem that arises in the…
Expand
1994
1994
Triadic domain model-based development of software systems
K. Itoh
,
Y. Tamura
,
S. Kishima
Proceedings of 3rd International Conference on…
1994
Corpus ID: 35782803
The authors present the Triadic Domain Model (TDM)-based system development environment. The main purpose is to integrate system…
Expand
1980
1980
On specifying verifiers
V. Pratt
ACM-SIGACT Symposium on Principles of Programming…
1980
Corpus ID: 15437664
The goal of automatic program verification is to prove programs correct formally. We argue that the existing notions of formal…
Expand
1958
1958
Japanese Discomycete Notes I-VIII
R. Korf
1958
Corpus ID: 81109634
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)
ACCEPT & CONTINUE