Sciweavers

86 search results - page 1 / 18
» Doing Software Development: Occasions for Automation and For...
Sort
View
ECSCW
1997
14 years 5 days ago
Doing Software Development: Occasions for Automation and Formalisation
The use of workflow technology has created considerable discussion within the CSCW community. Although the debates have been grounded in theories of work, less has been written abo...
Rebecca E. Grinter
BIRTHDAY
2009
Springer
13 years 8 months ago
Management of UML Clusters
Abstract. Software engineering uses UML diagrams as a standard technique for specification and development of software. Various UML diagrams are used for specification of different...
Peggy Schmidt, Bernhard Thalheim
PEPM
2010
ACM
14 years 23 days ago
A3PAT, an approach for certified automated termination proofs
Software engineering, automated reasoning, rule-based programming or specifications often use rewriting systems for which termination, among other properties, may have to be ensur...
Evelyne Contejean, Andrey Paskevich, Xavier Urbain...
SIGUCCS
2006
ACM
14 years 4 months ago
Because we have better things to do: automating common support tasks
As technology permeates more aspects of our everyday lives, greater demands are placed on information technology personnel. Lehigh University computing consultants have found thei...
Keith B. Erekson, Stephen G. Lewis
CMG
2001
14 years 6 days ago
Software That Can Think and Do
Rapid advances in research and technology now allow data analysis and modeling of extremely complex systems. Methods from artificial intelligence (AI) such as Neural Networks have...
Bernard Domanski