Sciweavers

2698 search results - page 151 / 540
» Software Process Model Blueprints
Sort
View
ESWS
2008
Springer
15 years 4 months ago
The Web Service Modeling Toolkit
The development of software is not an easy task and the availability of adequate tool support is an important step towards reducing the effort that a developer must put into the So...
Mick Kerrigan, Adrian Mocan
SNPD
2008
15 years 3 months ago
Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...
Cyrille Artho, Watcharin Leungwattanakit, Masami H...
TOPNOC
2008
15 years 2 months ago
Model Driven Testing Based on Test History
Abstract. We consider software systems consisting of a single component running one sequential process only. We model such software systems as a special class of transition systems...
Isaac Corro Ramos, Alessandro Di Bucchianico, Lusi...
112
Voted
ISSS
2002
IEEE
138views Hardware» more  ISSS 2002»
15 years 7 months ago
An Object-Oriented Design Process for System-on-Chip Using UML
The object-oriented design process has been a hot topic in software development since it will improve product quality and productivity significantly, which is also a major issue i...
Tsuneo Nakata, Akio Matsuda, Minoru Shoji, Shinya ...
APSCC
2008
IEEE
15 years 8 months ago
A Service-Oriented Framework for Quantitative Security Analysis of Software Architectures
Software systems today often run in malicious environments in which attacks or intrusions are quite common. This situation has brought security concerns into the development of so...
Yanguo Liu, Issa Traoré, Alexander M. Hoole