Sciweavers

4917 search results - page 149 / 984
» Software Engineering is Not Computer Science
Sort
View
141
Voted
FASE
2008
Springer
15 years 6 months ago
Engineering Service Oriented Applications: From StPowla Processes to SRML Models
Service Oriented Computing is a paradigm for developing software systems as the composition of a number of services. Services are loosely coupled entities, can be dynamically publi...
Laura Bocchi, Stephen Gorton, Stephan Reiff-Margan...
112
Voted
APSEC
2008
IEEE
15 years 11 months ago
Using Abstraction to Verify Arbitrary Temporal Properties
straction to Verify Arbitrary Temporal Properties Amir Pnueli New York University and Weizmann Institute of Sciences (Emeritus) Perspectives in Concurrency Theory, Chennai, 15 Dece...
Amir Pnueli
159
Voted
WCET
2010
15 years 2 months ago
Integrating Abstract Caches with Symbolic Pipeline Analysis
ing Abstract Caches with Symbolic Pipeline Analysis Stephan Wilhelm1 and Christoph Cullmann1 1 AbsInt Angewandte Informatik GmbH, Science Park 1; D-66123 Saarbr
Stephan Wilhelm, Christoph Cullmann
CSCW
2010
ACM
16 years 1 months ago
Communication, collaboration, and bugs: the social nature of issue tracking in small, collocated teams
Issue tracking systems help organizations manage issue reporting, assignment, tracking, resolution, and archiving. Traditionally, it is the Software Engineering community that res...
Dane Bertram, Amy Voida, Saul Greenberg, Robert Wa...
154
Voted
SCAM
2003
IEEE
15 years 10 months ago
Parse-Tree Annotations Meet Re-Engineering Concerns
We characterise a computational model for processing annotated parse trees. The model is basically rewriting-based with specific provisions for dealing with annotations along the...
Jan Kort, Ralf Lämmel