Sciweavers

11462 search results - page 11 / 2293
» Developing Application-Centric Methods
Sort
View
132
Voted
FM
1998
Springer
345views Formal Methods» more  FM 1998»
15 years 1 months ago
Enriching the Software Development Process by Formal Methods
Manfred Broy, Oscar Slotosch
ANLP
2000
68views more  ANLP 2000»
14 years 11 months ago
Distilling dialogues - A method using natural dialogue corpora for dialogue systems development
We report on a method for utilising corpora collected in natural settings. It is based on distilling re-writing natural dialogues to elicit the type of dialogue that would occur i...
Arne Jönsson, Nils Dahlbäck
EUROMICRO
2006
IEEE
15 years 3 months ago
A Method for Component-Based Software and System Development
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...
Denis Hatebur, Maritta Heisel, Jeanine Souqui&egra...
ASM
2010
ASM
14 years 11 months ago
Applying the B Method for the Rigorous Development of Smart Card Applications
Abstract. Smart Card applications usually require reliability and security to avoid incorrect operation or access violation in transactions and corruption or undue access to stored...
Bruno Emerson Gurgel Gomes, David Déharbe, ...
ECIS
2003
14 years 11 months ago
Transfer of development process knowledge through method adaptation and implementation
Knowledge transfer is one of the key problem areas in knowledge management. This paper focuses on the transfer of knowledge about the software development process. There is an aim...
Per Backlund, Christina Hallenborg, Guomundur Hall...