8627 search results - page 306 / 1726 » Software Engineering Using RATionale |
183
click to vote
SP
2000
IEEE
15 years 11 months ago
2000
IEEE
Today, even a moderately sized corporate intranet contains multiple firewalls and routers, which are all used to enforce various aspects of the global corporate security policy. ...
157
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
How and why does software evolve? This question has been under study since almost 40 years ago, and it is still a subject of controversy. In the seventies, Meir M. Lehman formulat...
182
click to vote
ICSE
2007
IEEE-ACM
16 years 24 days ago
2007
IEEE-ACM
Given the inevitable trends towards increasing complexity of software-intensive systems, many future software-intensive systems will be ultra-large scale (ULS). Radical scale-up o...
205
click to vote
UML
2005
Springer
16 years 3 days ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
142
click to vote
APSEC
2003
IEEE
15 years 12 months 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....