Sciweavers

500 search results - page 60 / 100
» Document frequency and term specificity
Sort
View
93
Voted
SAC
2006
ACM
15 years 6 months ago
Evaluation of current architecture frameworks
With the growing importance of enterprise architecture the discussion about how to create or choose the right enterprise architecture framework for a specific organization arose q...
Susanne Leist, Gregor Zellner
114
Voted
OOPSLA
2005
Springer
15 years 6 months ago
AutAT: an eclipse plugin for automatic acceptance testing of web applications
In this paper we describe AutAT, an open source Eclipse plugin to better enable test driven development of web applications. AutAT lets non-technical people write acceptance tests...
Christian Schwarz, Stein Kåre Skytteren, Tro...
PASTE
2004
ACM
15 years 5 months ago
Dynamically inferring temporal properties
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
Jinlin Yang, David Evans
92
Voted
SIGCSE
2009
ACM
127views Education» more  SIGCSE 2009»
15 years 5 months ago
Acm education board and masters level programs
This special session will proved information about the status of work related to Masters programs in Computing. Specifically, the session will describe work completed in the follo...
Gordon Davies, Lillian N. Cassel, Arthur B. Pyster...
AOSE
2001
Springer
15 years 5 months ago
Agent Oriented Analysis Using Message/UML
This paper presents the MESSAGE/UML agent oriented software engineering methodology and illustrates it on an analysis case study. The methodology covers MAS analysis and design an...
Giovanni Caire, Wim Coulier, Francisco J. Garijo, ...