Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,707,149 papers from all fields of science
Search
Sign In
Create Free Account
Software system
Known as:
Software systems
A software system is a system of intercommunicating components based on software forming part of a computer system (a combination of hardware and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
Acceptance testing
Adaptation (computer science)
Apache UIMA
Architecturally significant requirements
Expand
Broader (1)
Systems engineering
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2006
Review
2006
UML Profiles for Real-Time Systems and their Applications
Abdelouahed Gherbi
,
F. Khendek
Journal of Object Technology
2006
Corpus ID: 6554092
Real-time systems (RTS) have strict timing constraints and limited resources. The satisfaction of RTS timing constraints is…
Expand
2006
2006
Digging the Development Dust for Refactorings
C. Schofield
,
B. Tansey
,
Zhenchang Xing
,
Eleni Stroulia
IEEE International Conference on Program…
2006
Corpus ID: 2283452
Software repositories are rich sources of information about the software development process. Mining the information stored in…
Expand
2005
2005
An Enhanced Parallel Loop Self-Scheduling Scheme for Cluster Environments
Chao-Tung Yang
,
Kuan-Wei Cheng
,
Kuan Ching Li
19th International Conference on Advanced…
2005
Corpus ID: 8419272
Approaches for dealing with scheduling and load-balancing in PC-based cluster systems are famous and well known. In such…
Expand
2003
2003
On the Logic of TLA+
Stephan Merz
Computers and artificial intelligence
2003
Corpus ID: 5854597
TLA + is a language intended for the high-level specification of reactive, distributed, and in particular asynchronous systems…
Expand
2001
2001
Components as coalgebras
L. Barbosa
2001
Corpus ID: 142746674
PRAXIS XXI - Projecto LOGCAMP; POO11/IC-PME/II/S -Projecto KARMA; Fundacao para a Ciencia e Tecnologia; ALGORITMI Research Center…
Expand
1998
1998
Doing Requirements Right the First Time
Theodore Hammer
,
L. Huffman
,
L. Rosenberg
1998
Corpus ID: 17178920
The criticality of correct, complete, testable requirements is a fundamental tenet of software engineering. The success of a…
Expand
1997
1997
Generation of synthetic sequential benchmark circuits
M. Hutton
,
Jonathan Rose
,
D. Corneil
Symposium on Field Programmable Gate Arrays
1997
Corpus ID: 9939843
Programmable logic architectures increase in capacity before commercial circuits are designed for them, yielding a distinct…
Expand
Highly Cited
1996
Highly Cited
1996
Developing a Testing Maturity Model, Part II
I. Burnstein
,
T. Suwannasart
1996
Corpus ID: 107544838
Testing is a critical component of a mature software development process. It is one of the most challenging and costly process…
Expand
Review
1996
Review
1996
Software reliability and system reliability
J. Laprie
,
K. Kanoun
1996
Corpus ID: 52210988
This chapter is mainly aimed at showing that, by using deliberately simple mathematics, the classical reliability theory can be…
Expand
Highly Cited
1991
Highly Cited
1991
“=” considered harmful
D. Gonzalez
ALET
1991
Corpus ID: 32562623
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