8623 search results - page 313 / 1725 » Software engineering for secure systems |
206
Voted
ICSEA
2006
IEEE
16 years 24 days ago
2006
IEEE
—Stochastic activity networks (SANs) are a stochastic generalization of Petri nets. SAN models have been used to evaluate a wide range of systems and are supported by several mod...
146
click to vote
APSEC
2003
IEEE
16 years 1 days ago
2003
IEEE
The interface definition of a component in a distributed system forms the contract between the component itself and its neighbouring components regarding the use of its services....
150
Voted
PROFES
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. It is an important and intriguing issue to know the quantitative similarity of large software systems. In this paper, a similarity metric between two sets of source code ...
196
click to vote
QOSA
2010
Springer
15 years 4 months ago
2010
Springer
Design decisions for complex, component-based systems impact multiple quality of service (QoS) properties. Often, means to improve one quality property deteriorate another one. In ...
171
click to vote
ISSE
2010
2010
An approach to applying SOFL for agile process and its application in developing a test support tool
15 years 5 months ago
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...