Sciweavers

9018 search results - page 200 / 1804
» 3D-Brain Model Software
Sort
View
129
Voted
UML
1999
Springer
15 years 7 months ago
Enabling the Refinement of a Software Architecture into a Design
Software architecture research has thus far mainly addressed formal specification and analysis of coarse-grained software models. The formality of architectural descriptions, their...
Marwan Abi-Antoun, Nenad Medvidovic
KBSE
2005
IEEE
15 years 9 months ago
Formal support for merging and negotiation
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...
Shiva Nejati
137
Voted
SP
2003
IEEE
121views Security Privacy» more  SP 2003»
15 years 8 months ago
Specifying and Verifying Hardware for Tamper-Resistant Software
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
David Lie, John C. Mitchell, Chandramohan A. Thekk...
143
Voted
DSVIS
2003
Springer
15 years 8 months ago
Applying Extended Finite State Machines in Software Testing of Interactive Systems
Model Based Testing (MBT) is a functional testing technique that makes use of information from behavioral models of the software to carry out the testing task. This technique has b...
Marcelo Fantinato, Mario Jino
110
Voted
IASTEDSEA
2004
15 years 4 months ago
Towards flexible software processes by using process patterns
Process patterns allow the modular modelling and adaptable application of software processes. Present descriptions of process patterns show defects like non-uniform and unequivoca...
Mariele Hagen, Volker Gruhn