Your search returned 18 results.

Sort
Results
Improving Natural Language Requirements Quality Using Workflow Patterns by
  • Wang, Ye
  • Yang, Xiaohu
  • Chang, Cheng
Source: IEICE Transactions on Information and Systems
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Managing Standards Compliance by
  • Emmerich, Wolfgang
  • Montangero, Carlo
  • Armitage, Stephen
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Consistency Issues in Distributed Checkpoints by
  • Helary, J
  • Netzer, Robert H. B
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Completeness and Consistency in Hierarchical State-Based Requirements by
  • Heimdahl, Mats P.E
  • Leveson, Nancy G
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Where Do Operations Come from a Multiparadigm Specification Technique by
  • Zave, Pamela
  • Jackson, Michael
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Rapid Application of lightweight Formal Methods for Consistency Analyses by
  • Feather, Marin S
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Isual and Textual Consistency Checking Tools for Graphical User Interfaces by
  • Mahajan, R. L
  • Shneiderman, Ben
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Achieving Strong Consistency in a Distributed File System by
  • Triantafiliou, Peter
  • Neilson, C.E
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
A Pessimistic Consistency Control Algorithm for Replicated Files Which Achievs High Availability by
  • Jajodia, Sushil
  • Mutchler, David
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
A Heuristicaliy-Aided Algorithm for Mutual Exclusion in Distributed Systems by
  • Singhal, Mukesh
Source: IEEE Transactions on Computers
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Distributed Checkpointing for Globaliy Consistent States of Databases by
  • Son, Sang Hyuk
  • Agrawala, Ashok K
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Conceptual Modeling InContext of Software Development by
  • Kung, C. H
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Modular Concurrency Control and Failure Recovery by
  • Sha, Lui
  • Lehoczky, John P
  • Jensen, E D
Source: IEEE Transactions on Computers
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
A Graph Model for Software Evolution by
  • Luqi
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Detecting Unsafe Error Recovery Schedules by
  • Lutz, Robyn R
  • Wong, Johnny Kwok Wai
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Update Transport a New Trchnique for Update Synchronization in Replicated Database Systems by
  • Singhal, Mukesh
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Technical Reviews: Properties of Concrete. Investigation of Vibrating Slope Method for Measuring Concrete Workability by
  • Saucier, Kenneth L
Source: ACI: Journal of American Concrete Institute (Proceedings)
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Consistency in A Partitioned Network: A Survey by
  • Davidson, Susan B
  • Skeen, Dale
  • Garcia-Molina, Hector
Source: Acm Computing Surveys
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Pages