SIGSOFT 2004, FSE-12 October 31 - November 5, 2004, Newport Beach, California, USA
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
New York, NY
ACM Press
2004
|
| Schriftenreihe: | Software engineering notes
29,6 |
| Schlagworte: | |
| Online-Zugang: | http://www.isr.uci.edu/FSE-12/ Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV019708756 | ||
| 003 | DE-604 | ||
| 005 | 20050427 | ||
| 007 | t | ||
| 008 | 050223s2004 xxuad|| |||| 10||| eng d | ||
| 035 | |a (OCoLC)315102209 | ||
| 035 | |a (DE-599)BVBBV019708756 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-739 |a DE-19 | ||
| 111 | 2 | |a International Symposium on the Foundations of Software Engineering |n 12 |d 2004 |c Newport Beach, Calif. |j Verfasser |0 (DE-588)3060993-8 |4 aut | |
| 245 | 1 | 0 | |a SIGSOFT 2004, FSE-12 |b October 31 - November 5, 2004, Newport Beach, California, USA |c [ed. by Matthew Dwyer] ; Twelfth ACM SIGSOFT International Symposium on the Foundations of Software Engineering |
| 246 | 1 | 3 | |a Proceedings of the twelfth ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-12) |
| 246 | 1 | 3 | |a FSE 2004 |
| 264 | 1 | |a New York, NY |b ACM Press |c 2004 | |
| 300 | |a VIII, 276 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Software engineering notes |v 29,6 | |
| 500 | |a Einzelaufn. eines Zs.-H. | ||
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2004 |z Newport Beach Calif. |2 gnd-content | |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Dwyer, Matthew |d 1963- |e Sonstige |0 (DE-588)122836855 |4 oth | |
| 856 | 4 | |u http://www.isr.uci.edu/FSE-12/ | |
| 856 | 4 | 2 | |m OEBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013036172&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-013036172 | ||
Datensatz im Suchindex
| _version_ | 1804133161729261568 |
|---|---|
| adam_text | IMAGE 1
OSIUM ORGANIZATION
..........................................................................
VII
...
SPONSOR
.....................................................................................................................................................................
VLRL
KEYNOTE
....................... 0 IS SECURITY ENGINEERING REALLY JUST GOOD
SOFTWARE ENGINEERING? .... ................................ 1
A. L. WOLF (UNIVERSITY OF LZRGANO AND UNIVERSIP OF COLORADO AT BOULDER)
SESSION 1 : PROGRAM ANALYSIS
............................................................................................
RESOLVING UNCERTAINTIES DURING TRACE ANALYSIS 3
A. EGYED (TELMOWLEDGE CORPORATION)
AUTOMATING COMPREHENSIVE SAFETY ANALYSIS OF CONCURRENT PROGRAMS USING
VERISOFT AND TXL.. 13 J. DINGEL, H. LIANG (QUEEN S UNIVERSITYL
0 EFFICIENT INCREMENTAL ALGORITHMS FOR DYNAMIC DETECTION OF LIKELY
INVARIANTS ..................................... 23
J. H. PERKINS, M. D. EMST (MASSACHUSETTS IIISTITTRTE OF TECHNOLOGY)
SESSION 2: MODELING AND REQUIREMENTS 0 SYSTEM ARCHITECTURE: THE CONTEXT
FOR SCENARIO-BASED MODEL SYNTHESIS
........................................ 33
S. UCHITEL, R. CHATLEY, J. KRAMER, J . MAGEE (INLPERIAL COLLEGE LONDON)
MERGING PARTIAL BEHAVIOURAL MODELS
...............................................................................................................
43
S. UCHITEL (IMPERIAL COLLEGE), M. CHECHIK (UNIER~SITY OF TORONTO)
E REASONING ABOUT PARTIAL GOAL SATISFACTION FOR REQUIREMENTS
AND DESIGN ENGINEERING
.....................................................................................................................................
53
E. LETIER, A, VAN LAMSWEERDE (UNIVERSITE CATHOLIQ~RE U R LOUVAI~L)
SESSION 3: ERROR EXPLANATION
..................................................... PSE: EXPLAINING
PROGRAM FAILURES VIA POSTMORTEM STATIC ANALYSIS 63
R. MANEVICH (TEL AVIV UNIVERSITY), M . SRIDHARAL (UNIVERSITY OF CDFORNIA
UT BERKELEY), S . ADAMS, M . DAS, Z. YANG (MICROSOJT CORPORATION)
E EXPLAINING ABSTRACT COUNTEREXAMPLES
...........................................................................................................
73
S. CHAKI, A. GROCE (CURNEGIE MELLON UNIVERSIW), 0. STRICHMAN (TECAHNION)
E CORRELATION EXPLOITATION IN ERROR RANKING ............ ..
.....................................................................................
83
T. KREMENEK, K. ASHCRAFT, J. YANG, D. ENGLER (STANFORD UILIVER.ITY)
KEYNOTE
............. 0 THE USABILITY PROBLEM FOR HOME APPLIANCES: ENGINEERS
CAUSED IT, ENGINEERS CAN FIX IT! 95 J. MARKS (MITSUBISHI ELECTRIC
RESEARCH LNBORAFORIES)
SESSION 4: SAFETY AND SECURITY E TESTING STATIC ANALYSIS TOOLS USING
EXPLOITABLE BUFFER OVERFLOWS FROM OPEN SOURCE CODE ........ 97
M. ZITSER (D. E, SHAW GROUP), R. LIPPMANN, T . LEEK (MTLINCOLN
LUBORATORY)
.............................................................
ENGINEERING HUMAN TRUST IN MOBILE SYSTEM COLLABORATIONS 107
L. CAPRA (UNIVERSITY COLLEGE LONDON)
0 AN EFFICIENT AND BACKWARDS-COMPATIBLE TRANSFORMATION
........... TO ENSURE MEMORY SAFETY OF C PROGRAMS ...
..................................................................................
117
W. XU, D. C. DUVAMEY, R. SEKAR (STONY BROOK UNIVERSILY)
IMAGE 2
SESSION 5: ASPECTS
...................................... O VARIABILITY MANAGEMENT WITH
FEATURE-ORIENTED PROGRAMMING AND ASPECTS 127 M. MEZINI, K. OSTCRLNANN
(DNRLNST~ZD UNIL.W.SI!Y OF TECKT10LOG~3
...............................................................................................................
E VERIFYING ASPECT ADVICE MODULARLY 137
S. KRISHNANXLRTHI (BROWN UNIW~SITY), K. FISLER (WPI), M. GREENBERG (BMWN
UT?IVET:SIO,)
................................................ * A CLASSIFICATION
SYSTEM AND ANALYSIS FOR ASPECT-ORIENTED PROGRAMS 147
M. RINARD, A. SILLCIANU, S. BUGRARA (M~RSSIRCH~RSC~TTS HLSTITLRTE
OFTECHTLC~LO&
................................ .............................. A
IMPLEMENTING PROTOCOLS VIA DECLARATIVE EVENT PATTERNS ... 159
R. J. WALKER, K. VIGGERS (UII IVE~:SITY OF CTRLGCRRY)
KEYNOTE
............................................................................
MAKING EMBEDDED SOFTWARE REUSE PRACTICAL AND SAFE 171
N. G. LEVESON , K. A. WEISS (MUSSNCH~AETT.~ INSTIT~RTE OJTECHNOLOG4
SESSION 6: VERIFICATION E MODULAR DESIGN AND VERIFICATION OF
COMPONENT-BASED NLECHATRONIC SYSTEMS
............................................................................................................................
WITH ONLINE-RECONFIGURATION 179
H. GICSE, S. BURRNESTER, W. SCHLSCR, 0. OBERSCHELP (UNIVEL:SILY
OFPNDERHOR71)
..................................................................................................................
A TYPE SYSTEM FOR OBJECT MODELS 189
.I. EDWARDS, D. JACKSON, E. TORLAK (MC~S.SACHZRSETTS INSRITLRTE
OF TECLZR~OLOGY)
..........................................................................
E HEURISTIC-GUIDED COUNTEREXAMPLE SEARCH IN FLAVERS 201
I. TAN, G. S. AVRUNIN, L. A. CLARKE, S. ZILBERSTEIN (UNIVERSIP O F
HFUS,S~RCH~RSETTS), S . LCUE (UIIVERSITY OF KONSTUNZ)
SESSION 7: DEVELOPMENT SUPPORT
...................................................... A RELEVANCY BASED
SEMANTIC INTEROPERATION OF REUSE REPOSITORIES 21 I
Y . PAN (PEKING UNIVERSI&), L. WANG (TSINGHUU UIRIVER:R.ITJ~), L. ZHANG,
B. XIC, F. YANG (PEKING UNIVET*.ITY)
* HOW A GOOD SOFTWARE PRACTICE THWARTS COLLABORATION -THE MULTIPLE ROLES
OF APLS IN SOFTWARE DEVELOPMENT
....................................................................................................................
221
C. R. B. DE SOUZA (UNIVERSIDADE FEDERAL DO PURD UND UNIVERSITY OF
CNLIJI,MIA AT ITVINE), D. REDMILE (U~RIVERSI~OFCNF! FOR.IIN, BVINE),
I,.-T. CHENG, D . MILLEN, J. PATTERSON (IBM T.J. WUTSON RESEARCH
CENTER.)
REFINING CODE-DESIGN MAPPING WITH FLOW ANALYSIS
............................................................................
231
X. ZHANG, M. YOUNG, J. N. E. F. LASSCTCR (UNIVERSITY QFOREGMZ)
SESSION 8: TESTING RELIABILITY
SCALING REGRESSION TESTING TO LARGE SOFTWARE SYSTEMS
.........................................................................
241
A. ORSO, N. SHI, M. J. N A ~ ~ O L D (GEOTGH LNSTIRZRTE OF TECL~NOLOA$
* USING AN SQL COVERAGE MEASUREMENT FOR TESTING DATABASE APPLICATIONS
.................... .. ............ 253 M. J. SUAREZ-CABAL, J. TUYA
(UNIVERSIIY OF OVIEDO)
O EMPIRICAL EVALUATION OF DEFECT PROJECTION MODELS FOR WIDELY-DEPLOYED
PRODUCTION SOFTWARE SYSTEMS
..........................................................................................................................
263
P. L. LI, M. SHAW, J. HERBSLEB (CARNEGIE MELLON UNIVERSILYL, B. RAY, P.
SANTHANAM (IBM T.J. WAFS017 RESEARCH CENTER.L
AUTHOR INDEX
.......................................................................................................................................................
263
|
| any_adam_object | 1 |
| author_GND | (DE-588)122836855 |
| author_corporate | International Symposium on the Foundations of Software Engineering Newport Beach, Calif |
| author_corporate_role | aut |
| author_facet | International Symposium on the Foundations of Software Engineering Newport Beach, Calif |
| author_sort | International Symposium on the Foundations of Software Engineering Newport Beach, Calif |
| building | Verbundindex |
| bvnumber | BV019708756 |
| ctrlnum | (OCoLC)315102209 (DE-599)BVBBV019708756 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01794nam a2200385 cb4500</leader><controlfield tag="001">BV019708756</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20050427 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">050223s2004 xxuad|| |||| 10||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)315102209</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019708756</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Symposium on the Foundations of Software Engineering</subfield><subfield code="n">12</subfield><subfield code="d">2004</subfield><subfield code="c">Newport Beach, Calif.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)3060993-8</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">SIGSOFT 2004, FSE-12</subfield><subfield code="b">October 31 - November 5, 2004, Newport Beach, California, USA</subfield><subfield code="c">[ed. by Matthew Dwyer] ; Twelfth ACM SIGSOFT International Symposium on the Foundations of Software Engineering</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Proceedings of the twelfth ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-12)</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">FSE 2004</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">ACM Press</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 276 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Software engineering notes</subfield><subfield code="v">29,6</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Einzelaufn. eines Zs.-H.</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2004</subfield><subfield code="z">Newport Beach Calif.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Dwyer, Matthew</subfield><subfield code="d">1963-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)122836855</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.isr.uci.edu/FSE-12/</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">OEBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013036172&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-013036172</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2004 Newport Beach Calif. gnd-content |
| genre_facet | Konferenzschrift 2004 Newport Beach Calif. |
| id | DE-604.BV019708756 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T20:04:19Z |
| institution | BVB |
| institution_GND | (DE-588)3060993-8 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-013036172 |
| oclc_num | 315102209 |
| open_access_boolean | |
| owner | DE-739 DE-19 DE-BY-UBM |
| owner_facet | DE-739 DE-19 DE-BY-UBM |
| physical | VIII, 276 S. Ill., graph. Darst. |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | ACM Press |
| record_format | marc |
| series2 | Software engineering notes |
| spelling | International Symposium on the Foundations of Software Engineering 12 2004 Newport Beach, Calif. Verfasser (DE-588)3060993-8 aut SIGSOFT 2004, FSE-12 October 31 - November 5, 2004, Newport Beach, California, USA [ed. by Matthew Dwyer] ; Twelfth ACM SIGSOFT International Symposium on the Foundations of Software Engineering Proceedings of the twelfth ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-12) FSE 2004 New York, NY ACM Press 2004 VIII, 276 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Software engineering notes 29,6 Einzelaufn. eines Zs.-H. Software Engineering (DE-588)4116521-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2004 Newport Beach Calif. gnd-content Software Engineering (DE-588)4116521-4 s DE-604 Dwyer, Matthew 1963- Sonstige (DE-588)122836855 oth http://www.isr.uci.edu/FSE-12/ OEBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013036172&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | SIGSOFT 2004, FSE-12 October 31 - November 5, 2004, Newport Beach, California, USA Software Engineering (DE-588)4116521-4 gnd |
| subject_GND | (DE-588)4116521-4 (DE-588)1071861417 |
| title | SIGSOFT 2004, FSE-12 October 31 - November 5, 2004, Newport Beach, California, USA |
| title_alt | Proceedings of the twelfth ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-12) FSE 2004 |
| title_auth | SIGSOFT 2004, FSE-12 October 31 - November 5, 2004, Newport Beach, California, USA |
| title_exact_search | SIGSOFT 2004, FSE-12 October 31 - November 5, 2004, Newport Beach, California, USA |
| title_full | SIGSOFT 2004, FSE-12 October 31 - November 5, 2004, Newport Beach, California, USA [ed. by Matthew Dwyer] ; Twelfth ACM SIGSOFT International Symposium on the Foundations of Software Engineering |
| title_fullStr | SIGSOFT 2004, FSE-12 October 31 - November 5, 2004, Newport Beach, California, USA [ed. by Matthew Dwyer] ; Twelfth ACM SIGSOFT International Symposium on the Foundations of Software Engineering |
| title_full_unstemmed | SIGSOFT 2004, FSE-12 October 31 - November 5, 2004, Newport Beach, California, USA [ed. by Matthew Dwyer] ; Twelfth ACM SIGSOFT International Symposium on the Foundations of Software Engineering |
| title_short | SIGSOFT 2004, FSE-12 |
| title_sort | sigsoft 2004 fse 12 october 31 november 5 2004 newport beach california usa |
| title_sub | October 31 - November 5, 2004, Newport Beach, California, USA |
| topic | Software Engineering (DE-588)4116521-4 gnd |
| topic_facet | Software Engineering Konferenzschrift 2004 Newport Beach Calif. |
| url | http://www.isr.uci.edu/FSE-12/ http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013036172&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT internationalsymposiumonthefoundationsofsoftwareengineeringnewportbeachcalif sigsoft2004fse12october31november52004newportbeachcaliforniausa AT dwyermatthew sigsoft2004fse12october31november52004newportbeachcaliforniausa AT internationalsymposiumonthefoundationsofsoftwareengineeringnewportbeachcalif proceedingsofthetwelfthacmsigsoftsymposiumonthefoundationsofsoftwareengineeringfse12 AT dwyermatthew proceedingsofthetwelfthacmsigsoftsymposiumonthefoundationsofsoftwareengineeringfse12 AT internationalsymposiumonthefoundationsofsoftwareengineeringnewportbeachcalif fse2004 AT dwyermatthew fse2004 |