286 search results - page 49 / 58 » Agile Formality: A Mole of Software Engineering Practices |
132
click to vote
SCESM
2006
ACM
15 years 6 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
90
Voted
METRICS
2003
IEEE
15 years 5 months ago
2003
IEEE
As distributed technologies become more widely used, the need for assessing the quality of distributed applications correspondingly increases. Despite the rich body of research an...
90
Voted
ACMSE
2010
ACM
14 years 10 months ago
2010
ACM
Developing software from models is a growing practice and there exist many model-based tools (e.g., model editors, model interpreters) for supporting model-driven engineering. Eve...
135
click to vote
ICFEM
2003
Springer
15 years 5 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
104
Voted
IJCAI
1989
15 years 1 months ago
1989
Over the last few years, object-oriented techniques have gained an increasing recognition both in software engineering and in AI. Object-oriented systems present undisputable adva...