1676 search results - page 232 / 336 » Formal System Development with KIV |
176
click to vote
CBSQ
2003
Springer
15 years 9 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
133
click to vote
ICSM
2002
IEEE
15 years 9 months ago
2002
IEEE
Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....
133
click to vote
FASE
2008
Springer
15 years 6 months ago
2008
Springer
Service Oriented Computing is a paradigm for developing software systems as the composition of a number of services. Services are loosely coupled entities, can be dynamically publi...
147
Voted
JSW
2007
15 years 4 months ago
2007
—This paper presents some results in the intersection of three technological fields: e-learning, multiagent systems, and standards to improve the development of secure systems. T...
136
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Visual Languages (VLs) play an important role in software system development. Especially when looking at well-defined domains, a broad variety of domain specific visual language...