Results 1 - 10 of 159 for General Search
Sorted by:
Sorted by:
PopularityOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Show only
- Full Text Online (161)
- Peer-reviewed Journals (158)
- Available in the Library (1)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Book
|
|
Formal Foundations for Software Engineering MethodsHeinrich HussmannSpringer Berlin Heidelberg 1997Online access. The library also has physical copies. |
| 2 |
Material Type: Article
|
|
Practical Experiences in the Design and Conduct of Surveys in Empirical Software EngineeringCiolkowski, Marcus ; Laitenberger, Oliver ; Vegas, Sira ; Biffl, Stefan Conradi, Reidar ; Wang, Alf IngeEmpirical Methods and Studies in Software Engineering, p.104-128 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
| 3 |
Material Type: Article
|
|
Software Engineering Knowledge RepositoriesJedlitschka, Andreas ; Nick, Markus Conradi, Reidar ; Wang, Alf IngeEmpirical Methods and Studies in Software Engineering, p.55-80 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
| 4 |
Material Type: Article
|
|
A Lesson for Software Engineering from Knowledge EngineeringDebenham, John Mařík, Vladimír ; Štěpánková, Olga ; Retschitzegger, WernerDatabase and Expert Systems Applications, 2003, p.569-578 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
| 5 |
Material Type: Article
|
|
Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph TransformationBucchiarone, Antonio ; Ehrig, Hartmut ; Ermel, Claudia ; Pelliccione, Patrizio ; Runge, Olga Hennicker, Rolf ; De Nicola, RoccoSoftware, Services, and Systems, p.582-601 [Peer Reviewed Journal]Cham: Springer International PublishingFull text available |
| 6 |
Material Type: Article
|
|
Service-Based Systems Engineering: Consistent Combination of ServicesSchätz, Bernhard ; Salzmann, Christian Dong, Jin Song ; Woodcock, JimFormal Methods and Software Engineering, 2003, p.86-104 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
| 7 |
Material Type: Article
|
|
Applying system families concepts to requirements engineering process definitionDURAN, Amador ; BENAVIDES, David ; BERMEJO, JesusLecture notes in computer science, 2004, p.140-151 [Peer Reviewed Journal]Berlin: SpringerFull text available |
| 8 |
Material Type: Article
|
|
Defining and Supporting Concurrent Engineering Policies in SCMEstublier, Jacky ; García, Sergio ; Vega, Germán van der Hoek, André ; Westfechtel, BernhardLecture notes in computer science, 2003, p.1-15 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
| 9 |
Material Type: Article
|
|
Using Empirical Studies during Software CoursesCarver, Jeffrey ; Jaccheri, Letizia ; Morasca, Sandro ; Shull, Forrest Conradi, Reidar ; Wang, Alf IngeEmpirical Methods and Studies in Software Engineering, p.81-103 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
| 10 |
Material Type: Article
|
|
The Role of Reflective Middleware in Supporting the Engineering of Dynamic ApplicationsCosta, Fábio M. ; Duran, Hector A. ; Parlavantzas, Nikos ; Saikoski, Katia B. ; Blair, Gordon ; Coulson, Geoff Tisato, Francesco ; Stroud, Robert J. ; Cazzola, WalterLecture notes in computer science, 2000, p.79-98 [Peer Reviewed Journal]Berlin, Heidelberg: Springer Berlin HeidelbergFull text available |
Results 1 - 10 of 159 for General Search
Sorted by:
Sorted by:
PopularityOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Personalize your results
Refine Search Results
Expand My Results
Show only
- Full Text Online (161)
- Peer-reviewed Journals (158)
- Available in the Library (1)
Subject
- Computer Science (155)
- Science & Technology (155)
- Technology (155)
- Exact Sciences And Technology (154)
- Applied Sciences (154)
- Computer Science; Control Theory; Systems (154)
- Software (152)
- Computer Science, Theory & Methods (150)
- Computer Science, Software Engineering (112)
- Theoretical Computing (15)
- Computer Science, Information Systems (13)
- Computer Science, Artificial Intelligence (12)
- Programming Theory (12)
- Memory Organisation. Data Processing (7)
- Information Systems. Data Bases (5)
- Computer Science, Hardware & Architecture (5)
- Software Architecture (5)
- Extreme Programming (4)
- Computer Science, Interdisciplinary Applications (4)
- Engenharia De Software (1)
- Ciência Da Computação (1)
-
More options
Creation Date
- Before1997 (1)
- 1997To1999 (1)
- 2000To2000 (7)
- 2001To2002 (19)
- After 2002 (134)
-
More options
Library
Database/Library
- Lecture Notes in Computer Science Archive (through to 1996) (158)
- SpringerLINK Lecture Notes in Computer Science (2015) (158)
- Science Citation Index Expanded (Web of Science) (155)
- IngentaConnect Journals (14)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (2)
- Springer Books (2)
- SpringerLink Books Lecture Notes in Computer Science Archive (2)
- Springer Books Online Archive (2)
- EZB Free E-Journals (1)
- NORA - Norwegian Open Research Archives (1)
- ScienceDirect (1)
-
More options
Journal Title
- Formal Methods And Software Engineering, Proceedings (28)
- Formal Methods And Software Engineering (27)
- Software Configuration Management (16)
- Ecoop 2004 - Object-Oriented Programming (13)
- Extreme Programming And Agile Methods - Xp/agile Universe 2003 (12)
- Formal Methods At The Crossroads: From Panacea To Foundational Support (7)
- Formal Methods At The Crossroads. From Panacea To Foundational Support (6)
- Software Process Technology, Proceedings (6)
- Software Process Technology (6)
-
More options
Home Page
RSS
Feed
Policies
Contact Us-
Implemented by:
Social Network Logos: 