10159 search results - page 390 / 2032 » System Design Validation Using Formal Models |
150
click to vote
FMCO
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
118
click to vote
PAMI
2008
15 years 4 months ago
2008
Mixture of Gaussians (MoG) model is a useful tool in statistical learning. In many learning processes that are based on mixture models, computational requirements are very demandin...
141
click to vote
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Object-oriented analysis suggests semiformal usecase driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topologic...
236
click to vote
TSE
2010
14 years 11 months ago
2010
Abstract-- Code and design smells are poor solutions to recurring implementation and design problems. They may hinder the evolution of a system by making it hard for software engin...
137
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
— The UML is a collection of 13 diagram notations to describe different views of a software system. The existing diagram types display model elements and their relations. Softwar...