Sciweavers

9974 search results - page 185 / 1995
» Software Interconnection Models
Sort
View
HICSS
2008
IEEE
110views Biometrics» more  HICSS 2008»
16 years 27 days ago
Shared Mental Models among Open Source Software Developers
1 Shared understandings are important for software development as they guide to effective individual contributions to, and coordination of, the software development process. In thi...
Barbara Scozzi, Kevin Crowston, U. Yeliz Eseryel, ...
AMOST
2005
ACM
16 years 7 hour ago
Modeling requirements for combinatorial software testing
The combinatorial approach to software testing uses models to generate a minimal number of test inputs so that selected combinations of input values are covered. The most common c...
Christopher M. Lott, Ashish Jain, Siddhartha R. Da...
ICSM
2003
IEEE
15 years 11 months ago
Towards a Versioning Model for Component-based Software Assembly
The world of software development has rapidly changed in the last few years due to the adoption of component-based technologies. The classical software configuration management, ...
Jaroslav Gergic
AC
2005
Springer
15 years 6 months ago
Software model checking with SPIN
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
Gerard J. Holzmann
IJON
2002
64views more  IJON 2002»
15 years 6 months ago
Software engineering tools and approaches for neuroinformatics: the design and implementation of the View-Primitive Data Model f
We describe a software-engineering strategy called the `View-Primitive Data Model framework' (or `VPDMf') derived from the design of leading commercial software engineer...
Gully A. P. C. Burns, Fang Bian, Wei-Cheng Cheng, ...