Semantics and reasoning

Location via proxy: [ UP ]
[Report a bug] [Manage cookies] No cookies No scripts No ads No referrer Show this form

skip to main content

Advanced Search
Browse
About
- Sign in
- Register

Advanced Search
Journals
Magazines
Proceedings
Books
SIGs
Conferences
People
More

Search ACM Digital Library

Semantics and reasoning Results

Search

Advanced Search

Applied Filters

Semantics and reasoning
ICSE '90: Proceedings of the 12th international conference on Software engineeringRemove filter

People

Names

A Devarenne (1)
A Mauboussin (1)
Alexander L. Wolf (1)
Armen Gabrielian (1)
Ataru T Nakagawa (1)
Christine Lafontaine (1)
F Parisi-Presicce (1)
Francois Regis Valette (1)
G Rosuel (1)
Harald K Ganzinger (1)
Jean Louis Giavitto (1)
Kokichi Futatsugi (1)
M. V. Zelkowitz (1)
Matthew Keith Franklin (1)
Peri Lynn Tarr (1)
Pierre Yves Schobbens (1)
Renate Schafers (1)
Sergio R Cardenas (1)
William R Rosenblatt (1)
Yves Ledru (1)

Institutions

Nokia Bell Labs (2)
Columbia University (1)
Electrotechnical Laboratory (1)
Sorbonne University (1)
Technical University Dortmund (1)
University of Maryland, College Park (1)
University of Massachusetts Amherst (1)

Authors

A Devarenne (1)
A Mauboussin (1)
Alexander L. Wolf (1)
Armen Gabrielian (1)
Ataru T Nakagawa (1)
Christine Lafontaine (1)
F Parisi-Presicce (1)
G Rosuel (1)
Harald K Ganzinger (1)
Jack C Wileden (1)
Jean Louis Giavitto (1)
Kokichi Futatsugi (1)
M. V. Zelkowitz (1)
Matthew Keith Franklin (1)
Peri Lynn Tarr (1)
Pierre Yves Schobbens (1)
Renate Schafers (1)
Sergio R Cardenas (1)
William R Rosenblatt (1)
Yves Ledru (1)

Publications

Proceedings/Book Names

ICSE '90: Proceedings of the 12th international conference on Software engineering (10)

All Publications

Proceedings (10)

Media Formats

PDF (8)

Publisher

IEEE Computer Society Press (10)

Conferences

Sponsors

AFCET (10)
IEEE-CS (10)
SIGSOFT (10)

Conference Event

ICSE90 (10)

Proceedings Series

ICSE: International Conference on Software Engineering (10)

Publication Date

Upon changing this filter the page will automatically refresh

Export Citations

Selected
All Results

Select Citation format

Please download or close your previous search result export first before starting a new bulk export.
Preview is not available.
By clicking download,a status dialog will open to start the export process. The process may takea few minutes but once it finishes a file will be downloadable from your browser. You may continue to browse the DL while the export process is in progress.
Download
- Download citation
- Copy citation

10 Results for: Book/Issue: ICSE '90: Proceedings of the 12th international conference on Software engineeringEdit SearchSave SearchFailed to save your search, try again laterSearch has been saved (My Saved Searches)RSS

Save this search

Please login to be able to save your searches and receive alerts for new content matching your search criteria.

Searched The ACM Guide to Computing Literature (3,834,857 records)|Limit your search to The ACM Full-Text Collection (773,110 records)

Results

Showing 1 - 10of10 Results

Select All

Export Citations Save to Binder

Save to Binder

Create a New Binder

Name

per page:

10
20
50

Sort by: Recency

Earliest
Latest
Downloaded
Cited

Article
Free
February 1990
ISPW5: experience with software process models
- D. E. Perry
ICSE '90: Proceedings of the 12th international conference on Software engineeringPages 230–232
1
192
Metrics
Total Citations1
Total Downloads192
Last 12 Months22
Last 6 weeks6
View online with eReader
PDF
Article
February 1990
A rule-based approach to modular system design
- F. Parisi-Presicce
ICSE '90: Proceedings of the 12th international conference on Software engineeringPages 202–211
0
Metrics
Total Citations0
Article
Free
February 1990
System support for modular order-sorted horn clause specifications
- H. Ganzinger,
- R. Schäfers
ICSE '90: Proceedings of the 12th international conference on Software engineeringPages 150–159
0
197
Metrics
Total Citations0
Total Downloads197
Last 12 Months34
Last 6 weeks7
View online with eReader
PDF
Article
Free
February 1990
Design decisions for the incremental Adage framework
ICSE '90: Proceedings of the 12th international conference on Software engineeringPages 86–95
0
209
Metrics
Total Citations0
Total Downloads209
Last 12 Months45
Last 6 weeks4
View online with eReader
PDF
Article
Free
February 1990
Specification level interoperability
ICSE '90: Proceedings of the 12th international conference on Software engineeringPages 74–85
6
283
Metrics
Total Citations6
Total Downloads283
Last 12 Months26
Last 6 weeks6
View online with eReader
PDF
Article
Free
February 1990
Multi-level specification and verification of real-time software
- A. Gabrielian,
- M. K. Franklin
ICSE '90: Proceedings of the 12th international conference on Software engineeringPages 52–62
1
201
Metrics
Total Citations1
Total Downloads201
Last 12 Months25
Last 6 weeks5
View online with eReader
PDF
Article
Free
February 1990
An experiment in formal software development: using the B theorem prover on a VDM case study
ICSE '90: Proceedings of the 12th international conference on Software engineeringPages 34–42
2
239
Metrics
Total Citations2
Total Downloads239
Last 12 Months37
Last 6 weeks10
View online with eReader
PDF
Article
Free
February 1990
Evaluation criteria for functional specifications
- S. Cardenas,
- M. V. Zelkowitz
ICSE '90: Proceedings of the 12th international conference on Software engineeringPages 26–33
2
381
Metrics
Total Citations2
Total Downloads381
Last 12 Months78
Last 6 weeks12
View online with eReader
PDF
Article
Free
February 1990
Software process a` la algebra: OBJ for OBJ
- A. T. Nakagawa,
- K. Futatsugi
ICSE '90: Proceedings of the 12th international conference on Software engineeringPages 12–23
1
217
Metrics
Total Citations1
Total Downloads217
Last 12 Months25
Last 6 weeks5
View online with eReader
PDF
proceeding
February 1990
ICSE '90: Proceedings of the 12th international conference on Software engineering
- François-Régis Valette
157
18,590
Metrics
Total Citations157
Total Downloads18,590
Last 12 Months1,457
Last 6 weeks239

Footer

Categories

Journals
Magazines
Books
Proceedings
SIGs
Conferences
Collections
People

About

About ACM Digital Library
ACM Digital Library Board
Subscription Information
Author Guidelines
Using ACM Digital Library
All Holdings within the ACM Digital Library
ACM Computing Classification System
Accessibility Statement

Join

Join ACM
Join SIGs
Subscribe to Publications
Institutions and Libraries

Connect

Contact us via email
ACM on Facebook
ACM DL on X
ACM on Linkedin
Send Feedback
Submit a Bug Report

The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2025 ACM, Inc.

Terms of Usage
Privacy Policy
Code of Ethics

Your Search Results Download Request

We are preparing your search results for download ...

We will inform you here when the file is ready.

Your Search Results Download Request

Your file of search results citations is now ready.

Your Search Results Download Request

Your search export query has expired. Please try again.