Software Engineering Research and Applications
Springer Berlin (Verlag)
978-3-540-32133-0 (ISBN)
Formal Methods and Tools.- Transforming Stream Processing Functions into State Transition Machines.- NuEditor - A Tool Suite for Specification and Verification of NuSCR.- Requirements Engineering and Reengineering.- Representing NFRs and FRs: A Goal-Oriented and Use Case Driven Approach.- MARMI-RE: A Method and Tools for Legacy System Modernization.- Component-Based Software Engineering.- A Study on Frameworks of Component Integration for Web Applications.- Software Process Models, Management and Improvement.- A Study on Metrics for Supporting the Software Process Improvement Based on SPICE.- Information Engineering.- Uniformly Handling Metadata Registries.- Network Layer XML Routing Using Lazy DFA.- Web Engineering and Web-Based Applications.- Extending UML for a Context-Based Navigation Modeling Framework of Web Information Systems.- Conversion of Topic Map Metadata to RDF Metadata for Knowledge Retrieval on the Web.- An Integrated Software Development Environment for Web Applications.- Parallel and Distributed Computing.- On the Design and Implementation of Parallel Programs Through Coordination.- Software Reuse and Metrics.- Reusability Analysis of Four Standard Object-Oriented Class Libraries.- Validation of an Approach for Quantitative Measurement and Prediction Model.- Object-Oriented Technology and Information Technology.- Slicing JavaTM Programs Using the JPDA and Dynamic Object Relationship Diagrams with XML.- Infrastructures for Information Technology Systems: Perspectives on Their Evolution and Impact.- Communications Systems and Networks.- The Trajectory Approach for the End-to-End Response Times with Non-preemptive FP/EDF*.- Web Service Based Inter-AS Connection Managements for QoS-Guaranteed DiffServ Provisioning.
| Erscheint lt. Verlag | 10.2.2006 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
| Zusatzinfo | XV, 261 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 890 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
| Schlagworte | algebraic specifications • Communication • Component-Based Systems • Distributed Computing • Formal Method • framework components • Java • Legacy system modernization • Metadata • Model Checking • real-time applications • Refinement • Requirements Engineering • resource description framework • service configuration • software components • Software Design • software development • Software engineering • Software Process • software reeingineering • Software Testing • structured analysis • Tools • Topic Maps • UML • Web Services • XML |
| ISBN-10 | 3-540-32133-0 / 3540321330 |
| ISBN-13 | 978-3-540-32133-0 / 9783540321330 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich