The year-2000 problem and the new riddle of induction
Communications of the ACM
AnnoDomini: from type theory to Year 2000 conversion tool
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Russian's federation's Y2K policy: too little, too late?
Communications of the AIS
Towards automated modification of legacy assets
Annals of Software Engineering
Quatitative IT portolio management
Science of Computer Programming
Cracking the 500-Language Problem
IEEE Software
AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Restructuring of COBOL/CICS legacy systems
Science of Computer Programming - Software maintenance and reengineering (CSMR 99)
9210: The Zip Code of Another IT-Soap
Software Quality Control
Architectural modifications to deployed software
Science of Computer Programming
Quantitative aspects of outsourcing deals
Science of Computer Programming
Feasibility and benefits of migrating towards JEE: a real life case
Proceedings of the 5th international symposium on Principles and practice of programming in Java
Quantifying requirements volatility effects
Science of Computer Programming
Conditioned semantic slicing for abstraction; industrial experiment
Software—Practice & Experience
Hi-index | 0.02 |