MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Laura Campbell" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

ATOM

(NDIIPP) and its Implications for a Research Agenda for Digital Preservation 1
by Laura E. Campbell
… Preservation 1 Laura E. Campbell The author Laura E. Campbell is Associate Librarian for Strategic Initiatives…
Add To MetaCart

Eaton Corporation, and a Motorola doctoral fellowship.
by Laura A. Campbell
… doctoral fellowship. Laura A. Campbell Department of Computer Science and Engineering Michigan State…
Add To MetaCart

B.H.C.: Automated analysis of timing information in UML diagrams
by Sascha Konrad, Laura A. Campbell, Betty Cheng — 2004 — In: Proceedings of the Nineteenth IEEE International Conference on Automated Software Engineering (ASE04
…Automated Analysis of Timing Information in UML Diagrams ¢¡ Sascha Konrad Laura A. Campbell Betty…
Cited by 5 (5 self) – Add To MetaCart

ENVIRONMENTAL AGREEMENTS AND
by Sustainable Development, Laura B. Campbell, Naoki Matsuo, Joy Hyvarinen, Laura B. Campbell
…: MULTILATERAL ENVIRONMENTAL AGREEMENTS AND TRADE AND INVESTMENT REGIMES Laura B. Campbell Environmental Law…
Add To MetaCart

A requirements patterns-driven approach to specify systems and check properties
by Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng — 2003 — Model Checking Software, number 2648 in Lecture Notes in Computer Science
…, Laura A. Campbell, Betty H. C. Cheng ⋆⋆ ,andMinDeng Software Engineering and Network Systems Laboratory…
Cited by 1 (1 self) – Add To MetaCart

Adding Formal Specifications to Requirements Patterns
by Sascha Konrad Laura, Laura A. Campbell, Betty H. C. Cheng — 2002 — In Proceedings of the Requirements for High Assurance Systems Workshop (RHAS02) as part of the IEEE Joint International Conference on Requirements Engineering (RE02
…Adding Formal Specifications to Requirements Patterns ∗ Sascha Konrad, Laura A. Campbell, Betty H…
Add To MetaCart

Object analysis patterns for embedded systems
by Sascha Konrad, Student Member, Betty H. C. Cheng, Senior Member, Laura A. Campbell — 2004 — IEEE Transactions on Software Engineering
…, and Laura A. Campbell, Member, IEEE Abstract—Some of the most challenging tasks in building a software…
Cited by 7 (6 self) – Add To MetaCart

Enabling Automated Analysis Through the Formalization of Object-Oriented Modeling Diagrams
by Betty Cheng And, Betty H. C. Cheng, Laura A. Campbell, Enoch Y. Wang — In Proceedings of IEEE International Conference on Dependable Systems and Networks. IEEE Computer Society
….C. Cheng y and Laura A. Campbell Michigan State University 3115 Engineering Building East Lansing, MI…
Add To MetaCart

Model Checking Software, 10th International SPIN Workshop, Portland, OR, USA, May 2003, Proceedings
by Requirements Patterns-Driven Approach, Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng, Min Deng — 2002
…, Laura A. Campbell, Betty H. C. Cheng ⋆⋆ , and Min Deng Software Engineering and Network Systems…
Add To MetaCart

Using Security Patterns to Model and Analyze Security
by Requirements Betty Cheng, Betty H. C. Cheng, Sascha Konrad, Laura A. Campbell, Ronald Wassermann — 2003 — In IEEE Workshop on Requirements for High Assurance Systems
… Konrad, Laura A. Campbell, and Ronald Wassermann Software Engineering and Network Systems Laboratory…
Cited by 18 (2 self) – Add To MetaCart

Showing 1 through 10.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB