عنوان

Software engineering

شابک

3540665382

شابک

9783540665380

شماره

b433764

عنوان اصلي

Software engineering

نام عام مواد

[Book]

ساير اطلاعات عنواني

ESEC/FSE '99 : 7th European Software Engineering Conference held jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 1999 : proceedings /

نام نخستين پديدآور

Oscar Nierstrasz, Michel Lemoine (eds.).

محل نشرو پخش و غیره

London :

نام ناشر، پخش کننده و غيره

Springer,

تاریخ نشرو بخش و غیره

1999.

نام خاص و کميت اثر

xii, 527 p. :

ساير جزييات

ill. ;

ابعاد

24 cm.

عنوان فروست

Lecture notes in computer science,

مشخصه جلد

1687

شاپا ي ISSN فروست

0302-9743 ;

متن يادداشت

Includes bibliographical references.

متن يادداشت

Extreme programming: a discipline of software development (invited paper) (abstract only) / Kent Beck -- Components and generative programming (invited paper) / Krzysztof Czarnecki, Ulrich W. Eisenecker -- A component and communication model for push systems / Manfred Hauswirth, Mehdi Jazayeri -- A fine-grained model for code mobility / Cecilia Mascolo, Gian Pietro Picco, Gruia-Catalin Roman -- Robots: a real-time systems architectural style / Vered Gafni -- Collaboration and composition: issues for a second generation process language / B.C. Warboys ... [et al.] -- Using UML for software process modeling / Dirk Jäger, Ansgar Schleicher, Bernhard Westfechtel -- A probabilistic model for software projects / Frank Padberg -- Designing specification languages for process control systems: lessons learned and steps to the future / Nancy G. Leveson, Mats P. E. Heimdahl, Jon Damon Reese -- Using model checking to generate tests from requirements specifications / Angelo Gargantini, Constance Heitmeyer -- Specification-based prototyping for embedded systems / Jeffrey M. Thompson, Mats P. E. Heimdahl, Steven P. Miller -- Coping with type casts in C / Michael Siff ... [et al.] -- Efficient points-to analysis for whole-program analysis / Donglin Liang, Mary Jean Harrold -- The concept of dynamic analysis / Thoms Bell -- Data-flow analysis of program fragments / Atanas Rountev, Barbara G. Ryder, William Landi -- Yesterday, my program worked. Today, it does not. Why? / Andreas Zeller -- Comparison checking: an approach to avoid debugging of optimized code / Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa -- Structural specification-based testing: automated support and experimental evaluation / Juei Chang, Debra J. Richardson -- An efficient relevant slicing method for debugging / Tibor Gyimóthy, Árpád Beszédes, Istán Forgács -- Analyzing exception flow in Java programs / Martin P. Robillard, Gail C. Murphy -- An efficient algorithm for computing MHP information for concurrent Java programs / Gleb Naumovich, George S. Avrunin, Lori A. Clarke -- CoffeeStrainer: statically-checked constraints on the definition and use of types in Java / Boris Bokowski -- The CIP method: component- and model-based construction of embedded systems Hugo Fierz Pages: 375 - 392 Full text available: Pdf(1.29 MB) Additional Information: full citation, abstract, references, index terms Algebraic software architecture reconfiguration Michel Wermelinger, José Luiz Fiadeiro Pages: 393 - 409 Full text available: Pdf(1.31 MB) Additional Information: full citation, abstract, references, cited by, index terms Consistency checking for multiple view software architectures Pascal Fradet, Daniel Le Métayer, Michaël Périn Pages: 410 - 428 Full text available: Pdf(1.36 MB) Additional Information: full citation, abstract, references, cited by, index terms Synergy between component-based and generative approaches Stan Jarzabek, Peter Knauber Pages: 429 - 445 Full text available: Pdf(1.35 MB) Additional Information: full citation, abstract, references, cited by, index terms Transitioning legacy assets to a product line architecture Joachim Bayer, Jean-François Girard, Martin Würthner, Jean-Marc DeBaud, Martin Apel Pages: 446 - 463 Full text available: Pdf(1.36 MB) Additional Information: full citation, abstract, references, cited by, index terms CHIME: a metadata-based distributed software development environment Stephen E. Dossick, Gail E. Kaiser Pages: 464 - 475 Full text available: Pdf(940 KB) Additional Information: full citation, abstract, references, cited by, index terms FACADE: a typed intermediate language dedicated to smart cards Gilles Grimaud, Jean-Louis Lanet, Jean-Jacques Vandewalle Pages: 476 - 493 Full text available: Pdf(1.23 MB) Additional Information: full citation, abstract, references, cited by, index terms Verification of real-time designs: combining scheduling theory with automatic formal verification Victor A. Braberman, Miguel Felder Pages: 494 - 510 Full text available: Pdf(1.20 MB) Additional Information: full citation, abstract, references, cited by, index terms Checking progress with action priority: is it fair? / Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer.

بدون عنوان

0

متن يادداشت

Mode of access: World Wide Web.

عنوان

Software engineering : ESEC/FSE '99 : 7th European Software Engineering Conference held jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 1999 : proceedings

عنوان

OhioLINK electronic book center

عنوان

SpringerLink

موضوع مستند نشده

Software engineering, Congresses.

مستند نام اشخاص تاييد نشده

Lemoine, Michel,1947-

مستند نام اشخاص تاييد نشده

Nierstrasz, Oscar Marius,1957-

مستند نام تنالگان تاييد نشده

ESEC/FSE (Conference)(1999 :, Toulouse, France)

مستند نام تنالگان تاييد نشده

ACM SIGSOFT Symposium on Foundations of Software Engineering(7th :1999 :, Toulouse, France)

تاريخ عمليات

20101207083351.0

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y