890 search results - page 133 / 178 » software 1998 |
SIGSOFT
1998
ACM
14 years 1 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
ISSTA
1998
ACM
14 years 1 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
COMPSAC
1998
IEEE
14 years 1 months ago
1998
IEEE
Protection is an essential issue for the kind of heterogeneous distributed interoperable object environments, which Java and CORBA are a glimpse of. A uniform protection mechanism...
ICRE
1998
IEEE
14 years 1 months ago
1998
IEEE
This paper introduces an approach to multi-perspective requirements engineering (PREview) which has been designed for industrial use and discusses our practical experience in appl...
ICSM
1998
IEEE
14 years 1 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...