7202 search results - page 369 / 1441 » Software System Engineering: A Tutorial |
164
click to vote
AVI
2000
15 years 8 months ago
2000
To support users in querying geographic databases we have developed a system that lets people sketch what they are looking for. It closes the gap between user and information syst...
154
click to vote
AGILEDC
2007
IEEE
16 years 1 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...
158
click to vote
AMAST
2004
Springer
16 years 5 days 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...
198
click to vote
ICSM
2002
IEEE
15 years 11 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...
172
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeter...