3799 search results - page 116 / 760 » An Engineering Approach to Formal Methods |
138
Voted
APSEC
2004
IEEE
15 years 6 months ago
2004
IEEE
Software engineering community has proposed several methods to evaluate software architectures with respect to desired quality attributes such as maintainability, performance, and...
102
click to vote
APSEC
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
118
Voted
UML
2005
Springer
15 years 8 months ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
117
Voted
KBSE
2000
IEEE
15 years 7 months ago
2000
IEEE
Little-JIL, a new language for programming the coordination of agents is an executable, high-level process programming language with a formal (yet graphical) syntax and rigorously...
108
Voted
ESWS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Creating a coherent set of ontologies to support a collaborative design process amongst different firms which develop mechatronic products is a challenge due to the seman...