Sciweavers

465 search results - page 22 / 93
» Software copyright and role models
Sort
View
FM
1999
Springer
107views Formal Methods» more  FM 1999»
14 years 2 months ago
A Formalization of Software Architecture
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
John Herbert, Bruno Dutertre, Robert A. Riemenschn...
KRDB
1994
78views Database» more  KRDB 1994»
13 years 11 months ago
The Problems of Data Modeling in Software Practice
This paper presents, fromthe author's perspective, the problems that occur in practice during data modelling. The author's experiences are a result of a considerable num...
Harald Huber
APCCM
2009
13 years 11 months ago
Extracting Conceptual Graphs from Japanese Documents for Software Requirements Modeling
A requirements analysis step plays a significant role on the development of information systems, and in this step we various kinds of abstract models of the systems (called requir...
Ryo Hasegawa, Motohiro Kitamura, Haruhiko Kaiya, M...
ICSE
2000
IEEE-ACM
14 years 1 months ago
Software reliability and dependability: a roadmap
Software's increasing role creates both requirements for being able to trust it more than before, and for more people to know how much they can trust their software. A sound ...
Bev Littlewood, Lorenzo Strigini
APAQS
2001
IEEE
14 years 1 months ago
A Tailored Capability Model for Inspection Process Improvement
Software inspection is recognised as the most effective means of finding defects. In spite of its important role in software development, existing capability models have not addre...
Ilkka Tervonen, Juha Iisakka, Lasse Harjumaa