7202 search results - page 235 / 1441 » Software System Engineering: A Tutorial |
170
click to vote
EDOC
2007
IEEE
16 years 27 days ago
2007
IEEE
Requirements engineering (RE) encompasses a set of activities for eliciting, modelling, agreeing, communicating and validating requirements that precisely define the problem doma...
151
click to vote
CISIS
2008
IEEE
16 years 1 months ago
2008
IEEE
Currently, we are developing an agent-team based infrastructure for resource brokering and management in Grids. In this note we consider how team is supervised and how mirroring c...
147
click to vote
TACS
1994
Springer
15 years 10 months ago
1994
Springer
We introduce simple object calculi that support method override and object subsumption. We give an untyped calculus, typing rules, and equational rules. We illustrate the expressi...
162
click to vote
AMAST
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. A general parametric analysis problem which allows the use of parameter variables in both the realtime automata and the specifications is proposed and solved. The analys...
176
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
state-based approach KIV uses abstract state machines (ASMs, [5]) over algebraically specified data types. The semantics of an ASM is the set of