Sciweavers

10379 search results - page 114 / 2076
» The Chaos of Software Development
Sort
View
FCA
2005
Springer
188views Formal Methods» more  FCA 2005»
14 years 1 months ago
Formal Concept Analysis-Based Class Hierarchy Design in Object-Oriented Software Development
The class hierarchy is an important aspect of object-oriented software development. Design and maintenance of such a hierarchy is a difficult task that is often accomplished witho...
Robert Godin, Petko Valtchev
OZCHI
2009
ACM
14 years 3 months ago
Towards an ethical interaction design: the issue of including stakeholders in law-enforcement software development
In the public sector (particularly in the UK in light of recent reforms i.e. the Local Government Act 2000, etc.) a greater degree of accountability and public involvement or inte...
Patrick G. Watson, Penny Duquenoy, Margaret Brenna...
UML
2005
Springer
14 years 1 months ago
Modeling Turnpike: A Model-Driven Framework for Domain-Specific Software Development
This paper overviews the Modeling Turnpike (mTurnpike) project, which investigates a generic model-driven development framework that supports various domain-specific solutions (i.e...
Hiroshi Wada, Jun Suzuki
FM
1998
Springer
153views Formal Methods» more  FM 1998»
14 years 11 days ago
VSE: Controlling the Complexity in Formal Software Developments
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
Dieter Hutter, Heiko Mantel, Georg Rock, Werner St...
GI
2005
Springer
14 years 1 months ago
IQ Principles in Software Development
: This is an ongoing project, which is scheduled until 2005. So I decided together with Richard Wang to set up Sup-Projects that could be published earlier. The main objective is t...
Michael Mielke