2261 search results - page 132 / 453 » Modeling the Experimental Software Engineering Process |
112
Voted
EWSPT
1998
Springer
15 years 9 months ago
1998
Springer
Established simulation techniques require quantification of relevant aspects of the entity whose behaviour is being investigated. The data expressing the quantification provides a ...
132
Voted
ECSA
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
165
click to vote
ADAEUROPE
2005
Springer
15 years 10 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
139
click to vote
ASWEC
2007
IEEE
15 years 11 months ago
2007
IEEE
—Service-Oriented Computing (SOC) is an emerging paradigm for developing software systems that employ services. Presently there is already much research effort in the areas of se...
171
click to vote
SIGSOFT
2002
ACM
16 years 5 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...