10241 search results - page 1778 / 2049 » Goal-Driven Software Development |
129
Voted
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
148
Voted
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
131
Voted
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
d Abstract) Carsten Sinz and Wolfgang K¨uchlin Symbolic Computation Group, WSI for Computer Science, University of T¨ubingen and Steinbeis Technology Transfer Center OIT, 72076 T...
125
Voted
ICICS
2004
Springer
15 years 9 months ago
2004
Springer
E-mail system has become one of the most important and popular Internet services. Instead of using traditional surface mail, we have the alternative of employing e-mail system whic...
137
Voted
ICSOC
2004
Springer
15 years 9 months ago
2004
Springer
Currently, service-oriented computing is mainly technology-driven. Most developments focus on the technology that enables enterprises to describe, publish and compose application ...