Sciweavers

4726 search results - page 254 / 946
» Domain Modeling of Software Process Models
Sort
View
ICSE
2009
IEEE-ACM
16 years 1 months ago
Verifying networked programs using a model checker extension
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
Watcharin Leungwattanakit, Cyrille Artho, Masami H...
FSEN
2009
Springer
16 years 1 months ago
A Process-Theoretic Look at Automata
Automata theory presents roughly three types of automata: finite automata, pushdown automata and Turing machines. The automata are treated as language acceptors, and the expressiv...
Jos C. M. Baeten, Pieter J. L. Cuijpers, Bas Lutti...
NRHM
1998
124views more  NRHM 1998»
15 years 6 months ago
Adaptable and adaptive information provision for all users, including disabled and elderly people
: Due to the tremendously increasing popularity of the World-Wide Web, hypermedia is going to be the leading online information medium for some years to come and will most likely b...
Josef Fink, Alfred Kobsa, Andreas Nill
HICSS
2002
IEEE
92views Biometrics» more  HICSS 2002»
15 years 11 months ago
A Tentative Framework for Managing Software Product Development in Small Companies
Deploying an appropriate software process can improve the effectiveness of software engineering. Still, small companies find it hard to allocate resources to software process impr...
Kristian Rautiainen, Casper Lassenius, Jarno V&aum...
CISIS
2009
IEEE
16 years 1 months ago
Strengths and Weaknesses of Maturity Driven Process Improvement Effort
In the recent decades most of the big organizations have adopted maturity driven process improvement efforts (MDPI). Most of these efforts have been inspired of maturity models li...
Asadullah Shaikh, Ashfaq Ahmed, Nasrullah Memon, M...