Sciweavers

9018 search results - page 179 / 1804
» 3D-Brain Model Software
Sort
View
129
Voted
ENTCS
2010
154views more  ENTCS 2010»
15 years 21 days ago
Process Algebra with Hooks for Models of Pattern Formation
We introduce Process Algebra with Hooks (PAH). In PAH processes represent different layers action, from biochemistry to tissue, and special synchronisations via hook actions ensur...
Andrea Degasperi, Muffy Calder
MODELS
2007
Springer
15 years 9 months ago
A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software
Many safety-related and certification standards exist for developing safety-critical systems. Safety assessments are performed in practice, and system certification according to a...
Gregory Zoughbi, Lionel C. Briand, Yvan Labiche
WSC
1998
15 years 4 months ago
The Future of Simulation Software: a panel discussion
Panelists represent vendors of simulation software. Six of the panelists present their position on the question, "Where do you see simulation software headed?" The panel...
Jerry Banks
IEE
2000
73views more  IEE 2000»
15 years 3 months ago
Component-based perspective on software mismatch detection and resolution
: Existing approaches to modelling software systems all too often neglect the issue of component-mismatch identi
Alexander Egyed, Nenad Medvidovic, Cristina Gacek
QUATIC
2007
IEEE
15 years 9 months ago
A Nationwide Program for Software Process Improvement in Brazil
Continuous improvement of software development capability is fundamental for organizations to thrive in competitive markets. Nevertheless, Software Process Improvement (SPI) imple...
Ana Regina Cavalcanti da Rocha, Mariano Montoni, K...