sign in · help · news · about ·

BibSonomy :: user :: neilernst ::

tag user group author concept BibTeX key search:all search:neilernst

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(28)

<< < 1 | 2 > >>

Problem Oriented Software Engineering: Solving the Package Router Control Problem
Jon Hall, Lucia Rapanotti, and Michael Jackson IEEE Transactions on Software Engineering 34(2):226--241 (2008)
to formal software by neilernst and 3 other users on Feb 25, 2009, 9:10 PM
URL | DOI | BibTeX (0)
Learning Concept Hierarchies from Text Corpora using Formal Concept Analysis
P. Cimiano, A. Hotho, and S. Staab Journal of Artificial Intelligence Research JAIR (2005)
to concept folksonomy formal hierarchies learning by neilernst and 23 other users on Jul 29, 2008, 5:54 PM
URL | BibTeX (0)
On the Expressive Power of OCL
Luis Mandel, and María Victoria World Congress on Formal Methods, 1708/1999, page 713. Toulouse, France, (September 1999)Dated as it refers to OCL 1, which lacked tuples .
to formal ocl by neilernst on Jun 27, 2008, 5:23 AM
URL | BibTeX (0)
The control of discrete event systems
P.J.G. Ramadge, and W.M. Wonham Proceedings of the IEEE (1989)
to formal control autonomic discrete by neilernst and 1 other user on Nov 23, 2006, 7:22 PM
URL | BibTeX (0)
On the interplay between consistency, completeness, and correctness in requirements evolution
Didar Zowghi, and Vincenzo Gervasi Information and Software Technology 45(14):993--1009 (November 2003)
to formal evolution requirements by neilernst and 4 other users on Sep 18, 2006, 6:26 AM
URL | DOI | BibTeX (0)
Trust Management and Trust Theory Revision
J. Ma, and M. A. Orgun Systems, Man and Cybernetics, Part A, IEEE Transactions on 36(3):451--460 (2006)
to formal trust by neilernst and 1 other user on Sep 18, 2006, 6:26 AM
URL | BibTeX (0)
Reasoning about partial goal satisfaction for requirements and design engineering
Emmanuel Letier, and Axel van Lamsweerde Symposium on Foundations of Software Engineering, page 53--62. Newport Beach, CA, ACM Press, (November 2004)
to formal goal requirements probabilistic by neilernst and 2 other users on Sep 18, 2006, 6:26 AM
URL | DOI | BibTeX (0)
Automated consistency checking of requirements specifications
Constance L. Heitmeyer, Ralph D. Jeffords, and Bruce G. Labaw ACM Transactions on Software Engineering and Methodology 5(3):231--261 (1996)
to scr formal evolution requirements by neilernst and 1 other user on Sep 18, 2006, 6:26 AM
URL | BibTeX (0)
Capturing more world knowledge in the requirements specification
Sol J. Greenspan, John Mylopoulos, and Alex Borgida International conference on Software engineering, page 225--234. Tokyo, IEEE Computer Society Press, (1982)
to seminal formal model requirements by neilernst and 2 other users on Sep 18, 2006, 6:26 AM
URL | BibTeX (0)
On formal requirements modeling languages: RML revisited
Sol Greenspan, John Mylopoulos, and Alex Borgida International conference on Software engineering, page 135--147. Los Alamitos, CA, USA, IEEE Computer Society Press, (1994)
to seminal formal model requirements by neilernst and 3 other users on Sep 18, 2006, 6:26 AM
URL | BibTeX (0)
A formal basis for consistency, evolution and rationale management in requirements engineering
A. K. Ghose International Conference on Tools with Artificial Intelligence, page 77--84. (1999)
to formal evolution requirements by neilernst and 1 other user on Sep 18, 2006, 6:26 AM
URL | BibTeX (0)
An Analysis-Revision Cycle to Evolve Requirements Specifications
Dâ€™avila A. S. Garcez, A. Russo, B. Nuseibeh, and J. Kramer Intl. Conference on Automated Software Engineering, San Diego, USA, (November 2001)
to formal evolution requirements by neilernst on Sep 18, 2006, 6:26 AM
URL | BibTeX (0)
The INFOLOG linear tense propositional logic of events and transactions
Jose Fiadeiro, and Amilcar Sernadas Information Systems 11(1):61--85 (1986)
to logic formal model requirements temporal by neilernst and 1 other user on Sep 18, 2006, 6:26 AM
URL | DOI | BibTeX (0)
Autonomic-Computing Approach to Secure Knowledge Management: A Game-Theoretic Analysis
H. Arora, B. K. Mishra, and T. S. Raghu Systems, Man and Cybernetics, Part A, IEEE Transactions on 36(3):487--497 (2006)
to formal knowledge management by neilernst and 1 other user on Sep 18, 2006, 6:26 AM
URL | BibTeX (0)
Rapid application of lightweight formal methods for consistency analyses
Martin S. Feather IEEE Trans. Softw. Eng. 24(11):948--959 (November 1998)
to formal requirements by neilernst on Sep 10, 2006, 1:58 AM
URL | BibTeX (0)
Formal Methods Technology Transfer Will Fail
David L. Parnas Journal of Systems and Software 40(3):195--198 (1998)
to formal adoption software education by neilernst and 1 other user on Sep 9, 2006, 7:28 PM
URL | BibTeX (0)
Model checking early requirements specifications in Tropos
A. Fuxman, M. Pistore, J. Mylopoulos, and P. Traverso International Symposium on Requirements Engineering, page 174--181. Toronto, (August 2001)
to formal modeling evaluation temporal by neilernst and 2 other users on Sep 4, 2006, 7:16 PM
URL | BibTeX (0)
Experiences using lightweight formal methods for requirements modeling
S. Easterbrook, R. Lutz, R. Covington, J. Kelly, Y. Ampo, and D. Hamilton IEEE Transactions on Software Engineering 24(1):4--14 (1998)
to 2106 formal evolution requirements litmap by neilernst and 1 other user on Mar 24, 2006, 4:34 PM
URL | BibTeX (0)
Completeness and consistency in hierarchical state-based requirements
M. P. E. Heimdahl, and N. G. Leveson IEEE Transactions on Software Engineering 22(6):363--377 (1996)
to formal requirements by neilernst and 2 other users on Mar 24, 2006, 4:34 PM
URL | BibTeX (0)
Specifications Are Necessarily Informal or: Some More Myths of Formal Methods
Baudouina Le Charlier, and Pierreb Flener Journal of Systems and Software 40(3):275--296 (March 1998)
to 2106 formal requirements by neilernst and 2 other users on Mar 24, 2006, 4:34 PM
URL | BibTeX (0)

<< < 1 | 2 > >>publications per page: 5 10 20 50 100

a gripper