22698 search results - page 511 / 4540 » Modeling in Software Engineering |
223
click to vote
UML
2005
Springer
16 years 15 days ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
211
click to vote
IAT
2010
IEEE
15 years 5 months ago
2010
IEEE
ASEME is an emerging Agent Oriented Software Engineering (AOSE) methodology. The Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the transition of...
151
click to vote
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
A large financial company, struggling with legacy systems that did not interoperate, performed a pilot project to teach software architecture to an enthusiastic application develo...
204
click to vote
ATAL
2003
Springer
16 years 8 days ago
2003
Springer
Security plays an important role in the development of multiagent systems. However, a careful analysis of software development processes shows that the definition of security requ...
198
click to vote
EUROMICRO
1999
IEEE
15 years 11 months ago
1999
IEEE
Experience has shown that prototypingis a valuabletechnique in the validation of designs. However, the prototype(s) can be too far semantically removed from the design. Animation ...