746 search results - page 72 / 150 » Formal Analysis of UML-Based Designs |
105
click to vote
ICTCS
2005
Springer
15 years 7 months ago
2005
Springer
In the design of type systems for XML programming languages based on regular expression types and patterns the focus has been over result analysis, with the main aim of statically ...
ANLP
1992
15 years 3 months ago
1992
Multilevel semantics has been proposed as a powerful architecture for semantic analysis. We propose a methodology that, while maintaining the generality of the multilevel approach...
138
click to vote
IFM
2007
Springer
15 years 8 months ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
125
click to vote
EUROMICRO
2009
IEEE
15 years 8 months ago
2009
IEEE
—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...
113
click to vote
PDCAT
2007
Springer
15 years 8 months ago
2007
Springer
A communication protocol is a fundamental component of a multi-agent system. The security requirements for a communication protocol should be articulated during the early stages o...