1856 search results - page 223 / 372 » Formal Dialectic Specification |
111
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
Developments in e-government are resulting in fundamental reorganizations of the ways in which democratic governments operate as well as in the ways in which citizens relate to th...
134
click to vote
WETICE
2003
IEEE
15 years 10 months ago
2003
IEEE
A formal approach to security in the software life cycle is essential to protect corporate resources. However, little thought has been given to this aspect of software development...
145
click to vote
ICEIS
2000
IEEE
15 years 9 months ago
2000
IEEE
: In modern organisations the monolithic information systems of the past are being gradually replaced by networked systems, enabling distributed computing often based on multi-agen...
126
click to vote
ICECCS
1998
IEEE
15 years 9 months ago
1998
IEEE
All systems, regardless of how carefully they have been constructed, suffer failures. This paper focuses on developing a formal understanding of failure with respect to system imp...
141
click to vote
UML
1999
Springer
15 years 9 months ago
1999
Springer
Software architecture research has thus far mainly addressed formal specification and analysis of coarse-grained software models. The formality of architectural descriptions, their...