Foundations of Software Technology and Theoretical Computer Science [[electronic resource] ] : Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings / / edited by M. Joseph, R. Shyamasundar |
Edizione | [1st ed. 1984.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1984 |
Descrizione fisica | 1 online resource (X, 470 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Algorithms Software Engineering/Programming and Operating Systems Software Engineering Algorithm Analysis and Problem Complexity |
ISBN | 3-540-39087-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Logic for knowledge representation -- Logical specification and implementation -- Process specification of logic programs -- Functional programming systems revisited -- Models and transformations for nondeterministic extensions of functional programming -- Degrees of non-determinism and concurrency: A Petri net view -- Proof rules for communication abstractions -- A distributed algorithm for detecting communication deadlocks -- On the existence and construction of robust communication protocols for unreliable channels -- Heuristic search approach to optimal routing in a distributed architecture -- Replacement in monotone Boolean networks: An algebraic perspective -- A new characterization of BPP -- Treating terminals as function values of time -- Logics of knowledge, games and dynamic logic -- Persistent first class procedures are enough -- Abstraction concepts for modeling screen oriented dialogue interfaces -- VLSI systems for design rule checks -- Bounds on the length of convex partitions of polygons -- On mapping cube graphs onto VLSI arrays -- A linear-time algorithm for determining the intersection type of two star polygons -- Eliminating cascading rollback in structured databases -- Recognition and top-down generation of ?-acyclic database schemes -- Universal and representative instances using unmarked nulls -- On some computational problems related to data base coding -- Generic oracles -- Approximation algorithm for maximum independent set in planar traingle-free graphs -- Grid file algorithms: An analysis in the biased case -- On the mean weight balance factor of binary trees -- An efficient algorithm for random sampling without replacement -- Proof rules for communication abstractions. |
Record Nr. | UNISA-996466098603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1984 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Software engineering approaches for offshore and outsourced development : first international conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007 : revised papers / / Bertrand Meyer, Mathai Joseph (eds.) |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2007 |
Descrizione fisica | 1 online resource (X, 201 p.) |
Disciplina | 658.4/0580285 |
Altri autori (Persone) |
MeyerBertrand <1950->
JosephM |
Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
Soggetto topico |
Computer software - Development
Software engineering Offshore outsourcing - Software Offshore outsourcing - Data processing |
ISBN | 3-540-75542-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Offshore Software Development: Transferring Research Findings into the Classroom -- Meeting the Challenge of Communication in Offshore Software Development -- Testable Requirements for Offshore Outsourcing -- Introducing Global Supply Chains into Software Engineering Education -- Turn on Lean Governance ... for Return on Outsourcing -- Making IT Offshoring Work for the Japanese Industries -- Mastering Dual-Shore Development – The Tools and Materials Approach Adapted to Agile Offshoring -- Evaluating Collaboration Platforms for Offshore Software Development Scenarios -- Outsourcing and Offshoring: The Consultancies’ Estimates -- Questionnaire-Based Risk Assessment Scheme for Japanese Offshore Software Outsourcing -- An Evaluation Method for Offshore Software Development by Structural Equation Modeling -- The Value of Outsourced Software -- Reducing the Cost of Communication and Coordination in Distributed Software Development -- Survey on Japan-Oriented Offshore Software Development in China -- Toward Visualization and Analysis of Traceability Relationships in Distributed and Offshore Software Development Projects. |
Altri titoli varianti | SEAFOOD 2007 |
Record Nr. | UNINA-9910484661003321 |
Berlin ; ; New York, : Springer, c2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|