|
Results
Found 12 publication records. Showing 12 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Luciano Baresi, Sam Guinea, Olivier Nano, George Spanoudakis |
Comprehensive Monitoring of BPEL Processes.  |
IEEE Internet Computing  |
2010 |
DBLP DOI BibTeX RDF |
Assertion checkers, assertion languages, performance, Software Engineering, Software Engineering, Design Tools and Techniques, Software/Software Engineering, Software/Software Engineering, Software/Program Verification, Distributed/Internet based software engineering tools and techniques |
| 1 | Thomas J. Hacker, Rudi Eigenmann, Saurabh Bagchi, Ayhan Irfanoglu, Santiago Pujol, Ann Catlin, Ellen Rathje |
The NEEShub Cyberinfrastructure for Earthquake Engineering.  |
Computing in Science and Engineering  |
2011 |
DBLP DOI BibTeX RDF |
System applications and experience, distributed systems, operating systems, scientific computing, software/software engineering |
| 1 | Giuliano Casale, Ningfang Mi, Evgenia Smirni |
Model-Driven System Capacity Planning under Workload Burstiness.  |
IEEE Trans. Computers  |
2010 |
DBLP DOI BibTeX RDF |
performance, operating systems, computer systems organization, Performance of systems, modeling and prediction, software/software engineering |
| 1 | John Eberhard, Anand Tripathi |
Semantics-Based Object Caching in Distributed Systems.  |
IEEE Trans. Parallel Distrib. Syst.  |
2010 |
DBLP DOI BibTeX RDF |
specifying and verifying and reasoning about programs, logics and meanings of programs, components, programming languages, distributed objects, containers, theory of computation, Pre and postconditions, software/software engineering, language constructs and features |
| 1 | David Notkin |
Software, Software Engineering and Software Engineering Research: Some Unconventional Thoughts.  |
J. Comput. Sci. Technol.  |
2009 |
DBLP DOI BibTeX RDF |
software engineering/general, software engineering process/life cycle |
| 1 | Giuliano Casale, Richard R. Muntz, Giuseppe Serazzi |
Geometric Bounds: A Noniterative Analysis Technique for Closed Queueing Networks.  |
IEEE Trans. Computers  |
2008 |
DBLP DOI BibTeX RDF |
Performance, Operating Systems, Queuing theory, Modeling techniques, Computer Systems Organization, Performance of Systems, Performance of Systems, Software/Software Engineering |
| 1 | Charles B. Haley, Robin C. Laney, Jonathan D. Moffett, Bashar Nuseibeh |
Security Requirements Engineering: A Framework for Representation and Analysis.  |
IEEE Trans. Software Eng.  |
2008 |
DBLP DOI BibTeX RDF |
Security, Requirements/Specifications, Software/Software Engineering |
| 1 | Yvonne Dittrich, Kari Rönkkö, Jeanette Eriksson, Christina Hansson, Olle Lindeberg |
Cooperative method development.  |
Empirical Software Engineering  |
2008 |
DBLP DOI BibTeX RDF |
Categories and Subject Descriptors D.2.9 [Software]: Software Engineering, Management |
| 1 | Shay Gueron, Jean-Pierre Seifert, Geoffrey Strongin, Derek Chiou, Resit Sendag, Joshua J. Yi |
Where Does Security Stand? New Vulnerabilities vs. Trusted Computing.  |
IEEE Micro  |
2007 |
DBLP DOI BibTeX RDF |
microarchitecture implementation considerations, operating systems, processor architectures, emerging technologies, computer systems organization, security and privacy protection, software/software engineering |
| 1 | Will Tracz |
Frontmatter (TOC, Letters, Frank David Anger, ACM Fellow Profile, ICSE 2005, Praise and Criticism, Some Thoughts on Software Reliability, Latest DoD Effort to Achieve Quality in Software, Software Engineering Education).  |
ACM SIGSOFT Software Engineering Notes  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sunita Chulani |
Bayesian Analysis of Software Cost and Quality Models. (PDF / PS)  |
ICSM  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | R. Janßen |
Numerische Software: Software Engineering für Numeriker.  |
GI Jahrestagung  |
1990 |
DBLP BibTeX RDF |
|
Displaying result #1 - #12 of 12 (100 per page; Change: )
|