8623 search results - page 277 / 1725 » Software engineering for secure systems |
170
Voted
APSEC
2005
IEEE
16 years 10 days ago
2005
IEEE
Software-intensive systems are systems of systems that rely on complex interdependencies among themselves as well as with their operational environment to satisfy the required beh...
173
click to vote
SOSE
2006
IEEE
16 years 21 days ago
2006
IEEE
In this paper, we introduce a simple but formal service description language (ForSeL) for modelbased requirements engineering. The basic notion in ForSeL is a service representing...
173
click to vote
EMISA
2004
Springer
16 years 2 days ago
2004
Springer
Abstract: Obwohl Entscheidungstabellen zur Spezifikation von Programmablauflogik bereits seit über vier Jahrzehnten etabliert sind, finden sie in den Veröffentlichungen der letzt...
159
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a methodology to engineer services in real-time information environments. We evaluate, combine and enrich traditional techniques and methodologies such as New Product D...
200
click to vote
ICECCS
2010
IEEE
15 years 6 months ago
2010
IEEE
—In this paper ongoing research for a PhD-thesis is presented. The objective of this thesis is to develop an approach for engineering quality requirements. Quality requirements a...