Abstract is missing.
- Model Checking Value-Passing ProcessesHuimin Lin. 3 [doi]
- Using TCOZ for Modeling Web CachingHenry Novianus Palit. 13 [doi]
- Formalization and Literate ProgrammingHugh Anderson. 39-44 [doi]
- A Run-Time Deadlock Detector for Concurrent Java ProgramsYusuka Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata, Jingde Cheng. 45-52 [doi]
- XML Rule Based Source Code Generator for UML CASE ToolDong Hyuk Park, Soo Dong Kim. 53 [doi]
- Automatic Translation of a Timed Process Algebra into Dynamic State GraphsJuan José Pardo, Valentín Valero Ruiz, Fernando Cuartero, Diego Cazorla. 63-70 [doi]
- Formal Verification of Embedded Real-Time Software in Component-Based Application FrameworksPao-Ann Hsiung, Win-Bin See, Trong-Yen Lee, Jih-Ming Fu, Sao-Jie Chen. 71-78 [doi]
- Component Identification Method with Coupling and CohesionJong Kook Lee, Seung Jae Seung, Soo Dong Kim, Woo Hyun, Dong Han Han. 79 [doi]
- The Canonical Functional Design Based on the Domination-Relationship among DataSukhamay Kundu. 89-96 [doi]
- Aspect-Oriented Implementation of Software Health IndicatorsJames Thai, Barry R. Pekilis, Alexander Lau, Rudolph E. Seviora. 97-104 [doi]
- Specification of Distributed Systems with a Combination of Graphica and Formal LanguagesEinar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo. 105 [doi]
- Architectural Design for Evolution by Analyzing Requirements on Quality AttributesTomoji Kishi, Natsuko Noda, Takuya Katayama. 111-118 [doi]
- A Formal Framework to Build Software AgentsManas Ranjan Patra, Hrushikesha Mohanty. 119-126 [doi]
- Trading-Assisting Service Discovery ArchitectureTwittie Senivongse, Worawut Suphasanthitikul. 127 [doi]
- Using Default Reasoning to Discover Inconsistencies in Natural Language RequirementsDidar Zowghi, Vincenzo Gervasi, Andrew McRae. 133 [doi]
- A Model for Navigating Interview Processes in Requirements ElicitationJunzo Kato, Seiichi Komiya, Motoshi Saeki, Atsushi Ohnishi, Morio Nagata, Shuichiro Yamamoto, Hisayuki Horai. 141-148 [doi]
- An Empirical Study of Requirements Engineering in Distributed Software Projects: Is Distance Negotiation More Effective?Daniela E. Damian. 149 [doi]
- Formalizing Models and Meta-models for System DevelopmentR. Venkatesh, Purandar Bhaduri, Mathai Joseph. 155 [doi]
- Operational Semantics for VerilogJordan Dimitrov. 161-168 [doi]
- Formal Specification of Mixed Components with KorriganChristine Choppy, Pascal Poizat, Jean-Claude Royer. 169-176 [doi]
- Deriving Operational Semantics from Denotational Semantics for VerilogHuibiao Zhu, Jonathan P. Bowen, Jifeng He. 177 [doi]
- Scheduling Software Projects to Minimize the Development Time and Cost with a Given StaffFrank Padberg. 187-194 [doi]
- Improving the Testing Process by Program Static AnalysisNahomi Kikuchi, Tohru Kikuno. 195-201 [doi]
- Tailoring and Verifying Software ProcessIl-Chul Yoon, Sang-Yoon Min, Doo-Hwan Bae. 202 [doi]
- A Rigorous Method for Testing Real-Time Reactive SystemsVangalur S. Alagar, Mao Zheng. 213-220 [doi]
- The Design and Implementation of Automata-based Testing Environment for Java Multi-thread ProgramsHeui-Seok Seo, In Sang Chung, Byeong Man Kim, Yong Rae Kwon. 221-228 [doi]
- An Effective Testing Technique for Component Composition in EJBsHoijin Yoon, Byoungju Choi. 229-236 [doi]
- On Path-Wise Automatic Generation of Test Data for Both White-Box and Black-Box TestingJinhui Shan, Ji Wang, Zhichang Qi. 237 [doi]
- On the Implementation of Catalysis Frameworks in COMShui Ming Ho, Kung-Kiu Lau. 243-250 [doi]
- A Requirements Description Metamodel for Use CasesTakako Nakatani, Tetsuya Urai, Sou Ohmura, Tetsuo Tamai. 251-258 [doi]
- Formal Object-Oriented Analysis and Design of an Online Ticketing SystemXiaoshan Li, Zhiming Liu, Zhensheng Guo. 259 [doi]
- Applying Mutation Analysis for Object-Oriented Programs Using a Reflective ApproachPhilippe Chevalley. 267 [doi]
- A Slicing Method for Object-Oriented Programs Using Lightweight Dynamic InformationFumiaki Ohata, Kouya Hirose, Masato Fujii, Katsuro Inoue. 273-280 [doi]
- Expert Maintainers Strategies and Needs when Understanding Software: A Case Study ApproachChristos Tjortjis, Paul J. Layzell. 281 [doi]
- The Steam Boiler in a Unified Theory of Z and CSPJim Woodcock, Ana Cavalcanti. 291-298 [doi]
- Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification LanguageGwen Salaün, Michel Allemand, Christian Attiogbé. 299 [doi]
- Orchestrating Computations on the World-Wide WebJayadev Misra, Harrick M. Vin. 305 [doi]
- Partitioning Program into Hardware and SoftwareShengchao Qin, Jifeng He. 309-316 [doi]
- A Probabilistic Approach to Automatic Verification of Concurrent SystemsEnrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli. 317-324 [doi]
- A Theory of Combinational ProgramsVan Dung Tran, Jifeng He. 325 [doi]
- Quality Requirement Elicitation for the Architecture Evaluation of Process Computer SystemsJaejoon Lee, Sucheol Ha, Kyo Chul Kang, Youngyeol Choo, Yoonpyo Hong, Hwawon Hwang. 335-340 [doi]
- Architectural Issues in Mobile Augmented Reality Systems: A Prototyping Case StudyAllen H. Dutoit, Oliver Creighton, Gudrun Klinker, Rafael Kobylinski, Christoph Vilsmeier, Bernd Brügge. 341-344 [doi]
- Development of Session Management Mechanism for Cellular Phone with WWW ConnectionSatoru Uehara, Osamu Mizuno, Tohru Kikuno. 345 [doi]
- Cost Analysis of Games, Using Program LogicCarroll Morgan, Annabelle McIver. 351 [doi]
- Compilation of SpecificationsColin J. Fidge. 355-362 [doi]
- Model Checking UML StatechartsWei Dong, Ji Wang, Xuan Qi, Zhichang Qi. 363-370 [doi]
- Automatic Synthesis of the DC Specifications of Lip Synchronisation ProtocolHuadong Ma, Liang Li, Jianzhong Wang, Naijun Zhan. 371 [doi]
- Identifying Candidate Objects Using Hierarchical Clustering AnalysisSomsak Phattarsukol, Pornsiri Muenchaisri. 381-389 [doi]
- A Framework for Migrating Procedural Code to Object-Oriented PlatformsYing Zou, Kostas Kontogiannis. 390-499 [doi]
- An Automatic Restructuring Approach Preserving the Behavior of Object-Oriented DesignsByungjeong Lee, Chisu Wu. 400 [doi]
- A Component-Based Framework and Reusability in GarmentNaixiao Zhang, Ying Liu. 411-418 [doi]
- Component Metrics to Measure Component QualityEun Sook Cho, Min Sun Kim, Soo Dong Kim. 419-426 [doi]
- Knowledge Scouts: Reducing Communication Barriers in a Distributed Software Development ProjectAllen H. Dutoit, Joyce Johnstone, Bernd Brügge. 427-430 [doi]
- Framework for Third Party Testing of Component SoftwareYu-Seung Ma, Seung-Uk Oh, Doo-Hwan Bae, Yong Rae Kwon. 431 [doi]
- Z User Studio: An Integrated Support Tool for Z SpecificationsHuaikou Miao, Ling Liu, Chuanjiang Yu, Jijun Ming, Li Li. 437-444 [doi]
- Model Checking Object-Z Classes: Some Experiments with FDRGeoff Kassel, Graeme Smith. 445-452 [doi]
- An XML/XSL Approach to Visualize and Animate TCOZJing Sun, Jin Song Dong, Jing Liu, Hai H. Wang. 453-460 [doi]