3837 search results - page 382 / 768 » Concurrent Engineering support in Software Engineering |
133
click to vote
COMPSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
141
Voted
VAMOS
2010
Springer
15 years 6 months ago
2010
Springer
This tool demo paper describes a tool called XToF which is being developed through a collaboration between the University of Victoria, the University of Namur and the University of...
125
click to vote
HCI
2007
15 years 6 months ago
2007
The author reviewed and participated in several exemplar industry projects from the Indian IT industry to study the integration of human-computer interaction (HCI) design into soft...
150
click to vote
CSSE
2006
IEEE
15 years 4 months ago
2006
IEEE
We have been developing robotic multi-agent systems for several years according to a well defined methodology (PASSI) obtaining good results, but day by day needs of a more versati...
139
click to vote
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
The safety of pointer programs is an important issue in high-assurance software design, and their verification remains a major challenge. Pointer Logic has been proposed to verify...