11462 search results - page 75 / 2293 » Developing Application-Centric Methods |
106
Voted
STTT
2008
15 years 2 months ago
2008
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...
HASE
2008
IEEE
15 years 9 months ago
2008
IEEE
—Formal methods provide remarkable tools allowing for high levels of confidence in the correctness of developments. Their use is therefore encouraged, when not required, for the...
117
Voted
XPU
2004
Springer
15 years 8 months ago
2004
Springer
Refactoring is a key element of many agile software development methods. While most developers associate small design changes with the term refactoring (as described by Martin Fowl...
134
Voted
FM
2003
Springer
15 years 8 months ago
2003
Springer
In this article, I present an “event approach” used to formally develop sequential programs. It is based on the formalism of Action Systems [6] (and Guarded Commands[7]), which...
117
Voted
CHI
2010
ACM
15 years 9 months ago
2010
ACM
As our technologies travel to new cultural contexts and our designs and methods engage new constituencies, both our design and analytical practices face significant challenges. We...