Politeknik Siber dan Sandi Negara

Knowledge Center of Cybersecurity and Cryptography

  • Home
  • Information
  • News
  • Help
  • Librarian
  • Member Area
  • Select Language :
    Arabic Bengali Brazilian Portuguese English Espanol German Indonesian Japanese Malay Persian Russian Thai Turkish Urdu

Search by :

ALL Author Subject ISBN/ISSN Advanced Search

Last search:

{{tmpObj[k].text}}
No image available for this title
Bookmark Share

Text

ACM Transactions on Software Engineering and Methodology | Vol.24 No.3 May 2015

Tsudik, Gene - Personal Name; Pezzè, Mauro - Personal Name; Perino, Nicolò - Personal Name; Gorla, Alessandra - Personal Name; Carzaniga, Antonio - Personal Name;

Contents:
[Article 13] aToucan: An Automated Framework to Derive UML Analysis Models from Use Case Models (Tao Yue, Lionel C. Briand, Yvan Labiche)
[Article 14] Documenting Design-Pattern Instances: A Family of Experiments on Source-Code Comprehensibility (Giuseppe Scanniello, Carmine Gravino, Michele Risi, Genoveffa Tortora, Gabriella Dodero)
[Article 15] Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis (Elena Sherman, Brady J. Garvin, Matthew B. Dwyer)
[Article 16] Automatic Workarounds: Exploiting the Intrinsic Redundancy of Web Applications (Antonio Carzaniga, Alessandra Gorla, Nicolò Perino, Mauro Pezzè)
[Article 17] Many-Objective Software Remodularization Using NSGA-III (Wiem Mkaouer, Marouane Kessentini, Adnan Shaout, Patrice Koligheu, Slim Bechikh, Kalyanmoy Deb, Ali Ouni)
[Article 18] Software Change Contracts (Jooyong Yi, Dawei Qi, Shin Hwei Tan, Abhik Roychoudhury)
[Article 19] Platys: An Active Learning Framework for Place-Aware Application Development and Its Evaluation (Pradeep K. Murukannaiah, Munindar P. Singh)
[Article 20] A Baseline Model for Software Effort Estimation (Peter A. Whigham, Caitlin A. Owen, Stephen G. Macdonell)








Availability
#
Perpustakaan Poltek SSN JOU SOF '15
JOU092.24032015.01
Available but not for loan - Missing
Detail Information
Series Title
-
Call Number
JOU SOF '15
Publisher
New York : Association for Computing Machinery., 2015
Collation
ilus.; 25 cm.
Language
English
ISBN/ISSN
1049331X
Classification
JOU
Content Type
-
Media Type
-
Carrier Type
-
Edition
Vol. 24 No. 3 (May 2015)
Subject(s)
Software organizations and properties
Software functional properties
Formal methods
Software engineering
Performance and Reliability
Artificial Intelligence
Operating Systems
Logic and Meanings of Programs
Specific Detail Info
-
Statement of Responsibility
Gene Tsudik
Other version/related

No other version available

File Attachment
No Data
Comments

You must be logged in to post a comment

Politeknik Siber dan Sandi Negara
  • Information
  • Services
  • Librarian
  • Member Area

About Us

Perpustakaan Politeknik Siber dan Sandi Negara menyediakan berbagai macam koleksi seperti Buku, Jurnal, Majalah, Koran, Referensi dan Konten Lokal.

Search

start it by typing one or more keywords for title, author or subject

Keep SLiMS Alive Want to Contribute?

© 2025 — Senayan Developer Community

Powered by SLiMS
Select the topic you are interested in
  • Computer Science, Information & General Works
  • Philosophy & Psychology
  • Religion
  • Social Sciences
  • Language
  • Pure Science
  • Applied Sciences
  • Art & Recreation
  • Literature
  • History & Geography
Icons made by Freepik from www.flaticon.com
Advanced Search
Where do you want to share?