7380 search results - page 387 / 1476 » Engineering Software Intensive Systems |
101
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
The Rosetta system specification language will require a variety of analysis capabilities to assist system designers. The language’s generality prohibits the development of a s...
124
click to vote
AGILEDC
2007
IEEE
15 years 10 months ago
2007
IEEE
The Department of Defense (DoD) and the Defense Information Systems Agency (DISA) have historically operated on 18-36 months release cycles for major IT projects. DISA is now stri...
109
Voted
AMAST
2004
Springer
15 years 9 months ago
2004
Springer
We present a logic for reasoning about LOTOS behaviours which allows properties involving repeated patterns over actions and data to be expressed. The semantics of the logic is giv...
126
click to vote
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
Abstract. Today's wireless networks and devices support the dynamic composition of mobile distributed systems according to networked services and re
154
click to vote
ICSM
2002
IEEE
15 years 9 months ago
2002
IEEE
Component recovery and remodularization is a means to get back control on large and complex legacy systems suffering from ad-hoc changes by recovering logical components and restr...