286 search results - page 26 / 58 » Agile Formality: A Mole of Software Engineering Practices |
103
Voted
ACE
2004
15 years 1 months ago
2004
Industrial practice in software engineering has developed in recent years from rigid heavyweight document-based development techniques, such as the Rational Unified Process, to in...
88
Voted
ICFEM
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a practical approach to a formal analysis of UMLbased models. This is achieved by an underlying formal representation in Z, which allows us to pose and dischar...
94
Voted
CODES
2001
IEEE
15 years 4 months ago
2001
IEEE
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
125
Voted
COOPIS
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
90
Voted
FORTE
1996
15 years 1 months ago
1996
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...