7380 search results - page 912 / 1476 » Engineering Software Intensive Systems |
187
click to vote
ICSE
2007
IEEE-ACM
16 years 25 days ago
2007
IEEE-ACM
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...
189
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Universal access to information and data is an important goal of current research. Previously different forms of information and data, captured by different devices or held on dif...
174
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
215
click to vote
FOSSACS
1999
Springer
15 years 11 months ago
1999
Springer
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...
165
click to vote
ICSM
1998
IEEE
15 years 11 months ago
1998
IEEE
Code-based metrics such as coupling and cohesion are used to measure a system's structural complexity. But dealing with large systems--those consisting of several millions of...